Merge branch 'master' of github.com:NixOS/nixpkgs
This commit is contained in:
60
pkgs/development/tools/alloy/default.nix
Normal file
60
pkgs/development/tools/alloy/default.nix
Normal file
@@ -0,0 +1,60 @@
|
||||
{ stdenv, fetchurl, jre, makeDesktopItem }:
|
||||
|
||||
let version = "4.2_2015-02-22"; in
|
||||
stdenv.mkDerivation rec {
|
||||
name = "alloy-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
sha256 = "0p93v8jwx9prijpikkgmfdzb9qn8ljmvga5d9wvrkxddccjx9k28";
|
||||
url = "http://alloy.mit.edu/alloy/downloads/alloy${version}.jar";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
inherit version;
|
||||
description = "Language & tool for relational models";
|
||||
longDescription = ''
|
||||
Alloy is a language for describing structures and a tool for exploring
|
||||
them. An Alloy model is a collection of constraints that describes a set
|
||||
of structures, e.g. all the possible security configurations of a web
|
||||
application, or all the possible topologies of a switching network. The
|
||||
Alloy Analyzer is a solver that takes the constraints of a model and
|
||||
finds structures that satisfy them. Structures are displayed graphically,
|
||||
and their appearance can be customized for the domain at hand.
|
||||
'';
|
||||
homepage = http://alloy.mit.edu/;
|
||||
downloadPage = http://alloy.mit.edu/alloy/download.html;
|
||||
license = with licenses; mit;
|
||||
platforms = with platforms; linux;
|
||||
maintainers = with maintainers; [ nckx ];
|
||||
};
|
||||
|
||||
desktopItem = makeDesktopItem rec {
|
||||
name = "alloy";
|
||||
exec = name;
|
||||
icon = name;
|
||||
desktopName = "Alloy";
|
||||
genericName = "Relational modelling tool";
|
||||
comment = meta.description;
|
||||
categories = "Development;IDE;Education;";
|
||||
};
|
||||
|
||||
buildInputs = [ jre ];
|
||||
|
||||
phases = [ "installPhase" ];
|
||||
|
||||
installPhase = ''
|
||||
jar=$out/share/alloy/alloy${version}.jar
|
||||
|
||||
install -Dm644 ${src} $jar
|
||||
|
||||
cat << EOF > alloy
|
||||
#!${stdenv.shell}
|
||||
exec ${jre}/bin/java -jar $jar "\''${@}"
|
||||
EOF
|
||||
|
||||
install -Dm755 alloy $out/bin/alloy
|
||||
|
||||
install -Dm644 ${./icon.png} $out/share/pixmaps/alloy.png
|
||||
cp -r ${desktopItem}/share/applications $out/share
|
||||
'';
|
||||
}
|
||||
BIN
pkgs/development/tools/alloy/icon.png
Normal file
BIN
pkgs/development/tools/alloy/icon.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 17 KiB |
@@ -1,29 +1,35 @@
|
||||
{ stdenv, fetchurl }:
|
||||
|
||||
# TODO: add support for "make man"
|
||||
{ stdenv, fetchurl, libxslt, docbook_xsl, docbook_xml_dtd_45 }:
|
||||
|
||||
let
|
||||
name = "cppcheck";
|
||||
version = "1.68";
|
||||
version = "1.69";
|
||||
in
|
||||
stdenv.mkDerivation {
|
||||
name = "${name}-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/${name}/${name}-${version}.tar.bz2";
|
||||
sha256 = "1ca9fdhrrxfyzd6kn67gxbfszp70191cf3ndasrh5jh55ghybmmd";
|
||||
sha256 = "0bjkqy4c6ph6nzparcnbxrdn52i3hiind4jc99v2kvsq281wimab";
|
||||
};
|
||||
|
||||
configurePhase = ''
|
||||
makeFlags="PREFIX=$out CFGDIR=$out/cfg"
|
||||
buildInputs = [ libxslt docbook_xsl docbook_xml_dtd_45 ];
|
||||
|
||||
makeFlags = ''PREFIX=$(out) CFGDIR=$(out)/cfg'';
|
||||
|
||||
postInstall = ''
|
||||
make DB2MAN=${docbook_xsl}/xml/xsl/docbook/manpages/docbook.xsl man
|
||||
mkdir -p $out/share/man/man1
|
||||
cp cppcheck.1 $out/share/man/man1/cppcheck.1
|
||||
'';
|
||||
|
||||
postInstall = "cp -r cfg $out/cfg";
|
||||
|
||||
meta = {
|
||||
description = "Check C/C++ code for memory leaks, mismatching allocation-deallocation, buffer overrun and more";
|
||||
homepage = "http://sourceforge.net/apps/mediawiki/cppcheck/";
|
||||
license = "GPL";
|
||||
description = "A static analysis tool for C/C++ code";
|
||||
longDescription = ''
|
||||
Check C/C++ code for memory leaks, mismatching
|
||||
allocation-deallocation, buffer overruns and more.
|
||||
'';
|
||||
homepage = http://cppcheck.sourceforge.net/;
|
||||
license = stdenv.lib.licenses.gpl3Plus;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = [ stdenv.lib.maintainers.simons ];
|
||||
};
|
||||
|
||||
32
pkgs/development/tools/analysis/egypt/default.nix
Normal file
32
pkgs/development/tools/analysis/egypt/default.nix
Normal file
@@ -0,0 +1,32 @@
|
||||
{ stdenv, fetchurl, buildPerlPackage }:
|
||||
|
||||
let version = "1.10"; in
|
||||
buildPerlPackage rec {
|
||||
name = "egypt-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
sha256 = "0r0wj6v8z9fzlh9pb5617kyjdf92ppmlbzajaarrq729bbb6ln5m";
|
||||
url = "http://www.gson.org/egypt/download/${name}.tar.gz";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
inherit version;
|
||||
description = "Tool for making call graphs of C programmes";
|
||||
longDescription = ''
|
||||
Egypt is a simple tool for creating call graphs of C programs. It neither
|
||||
analyzes source code nor lays out graphs. Instead, it leaves the source
|
||||
code analysis to GCC and the graph layout to Graphviz, both of which are
|
||||
better at their respective jobs than egypt itself could ever hope to be.
|
||||
Egypt is simply a very small Perl script that glues these existing tools
|
||||
together.
|
||||
'';
|
||||
homepage = http://www.gson.org/egypt/;
|
||||
license = with licenses; [ artistic1 gpl1Plus ];
|
||||
platforms = with platforms; linux;
|
||||
maintainers = with maintainers; [ nckx ];
|
||||
};
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
doCheck = true;
|
||||
}
|
||||
@@ -1,254 +0,0 @@
|
||||
From: Mehdi Dogguy <mehdi@debian.org>
|
||||
Date: Sun, 27 Apr 2014 13:46:16 +0200
|
||||
Subject: Port to OCamlgraph 1.8.5
|
||||
|
||||
---
|
||||
src/impact/reason_graph.ml | 2 +-
|
||||
src/kernel/stmts_graph.ml | 10 +++++-----
|
||||
src/logic/property_status.ml | 8 ++++----
|
||||
src/misc/service_graph.ml | 4 ++--
|
||||
src/pdg_types/pdgTypes.ml | 6 +++---
|
||||
src/postdominators/print.ml | 2 +-
|
||||
src/semantic_callgraph/register.ml | 4 ++--
|
||||
src/slicing/printSlice.ml | 10 +++++-----
|
||||
src/syntactic_callgraph/register.ml | 4 ++--
|
||||
src/wp/cil2cfg.ml | 12 ++++++------
|
||||
10 files changed, 31 insertions(+), 31 deletions(-)
|
||||
|
||||
diff --git a/src/impact/reason_graph.ml b/src/impact/reason_graph.ml
|
||||
index eabacb0..ce19b4a 100644
|
||||
--- a/src/impact/reason_graph.ml
|
||||
+++ b/src/impact/reason_graph.ml
|
||||
@@ -139,7 +139,7 @@ module Printer (X: AdditionalInfo) = struct
|
||||
|
||||
let graph_attributes _ = [`Label "Impact graph"]
|
||||
|
||||
- let default_vertex_attributes _g = [`Style [`Filled]; `Shape `Box]
|
||||
+ let default_vertex_attributes _g = [`Style `Filled; `Shape `Box]
|
||||
let default_edge_attributes _g = []
|
||||
|
||||
let vertex_attributes v =
|
||||
diff --git a/src/kernel/stmts_graph.ml b/src/kernel/stmts_graph.ml
|
||||
index a8fe121..16059c3 100644
|
||||
--- a/src/kernel/stmts_graph.ml
|
||||
+++ b/src/kernel/stmts_graph.ml
|
||||
@@ -157,12 +157,12 @@ module TP = struct
|
||||
|
||||
let vertex_attributes s =
|
||||
match s.skind with
|
||||
- | Loop _ -> [`Color 0xFF0000; `Style [`Filled]]
|
||||
- | If _ -> [`Color 0x00FF00; `Style [`Filled]; `Shape `Diamond]
|
||||
- | Return _ -> [`Color 0x0000FF; `Style [`Filled]]
|
||||
+ | Loop _ -> [`Color 0xFF0000; `Style `Filled]
|
||||
+ | If _ -> [`Color 0x00FF00; `Style `Filled; `Shape `Diamond]
|
||||
+ | Return _ -> [`Color 0x0000FF; `Style `Filled]
|
||||
| Block _ -> [`Shape `Box; `Fontsize 8]
|
||||
- | Goto _ -> [`Shape `Diamond; `Color 0x00FFFF ; `Style [`Filled]]
|
||||
- | Instr (Skip _) -> [`Color 0x00FFFF ; `Style [`Filled]]
|
||||
+ | Goto _ -> [`Shape `Diamond; `Color 0x00FFFF ; `Style `Filled]
|
||||
+ | Instr (Skip _) -> [`Color 0x00FFFF ; `Style `Filled]
|
||||
| _ -> []
|
||||
let default_vertex_attributes _ = []
|
||||
|
||||
diff --git a/src/logic/property_status.ml b/src/logic/property_status.ml
|
||||
index f7c278d..47485f6 100644
|
||||
--- a/src/logic/property_status.ml
|
||||
+++ b/src/logic/property_status.ml
|
||||
@@ -1481,12 +1481,12 @@ module Consolidation_graph = struct
|
||||
let s = get_status p in
|
||||
let color = status_color p s in
|
||||
let style = match s with
|
||||
- | Never_tried -> [`Style [`Bold]; `Width 0.8 ]
|
||||
- | _ -> [`Style [`Filled]]
|
||||
+ | Never_tried -> [`Style `Bold; `Width 0.8 ]
|
||||
+ | _ -> [`Style `Filled]
|
||||
in
|
||||
style @ [ label v; `Color color; `Shape `Box ]
|
||||
| Emitter _ as v ->
|
||||
- [ label v; `Shape `Diamond; `Color 0xb0c4de; `Style [`Filled] ]
|
||||
+ [ label v; `Shape `Diamond; `Color 0xb0c4de; `Style `Filled ]
|
||||
| Tuning_parameter _ as v ->
|
||||
[ label v; (*`Style `Dotted;*) `Color 0xb0c4de; ]
|
||||
(*| Correctness_parameter _ (*as v*) -> assert false (*[ label v; `Color 0xb0c4de ]*)*)
|
||||
@@ -1495,7 +1495,7 @@ module Consolidation_graph = struct
|
||||
| None -> []
|
||||
| Some s ->
|
||||
let c = emitted_status_color s in
|
||||
- [ `Color c; `Fontcolor c; `Style [`Bold] ]
|
||||
+ [ `Color c; `Fontcolor c; `Style `Bold ]
|
||||
|
||||
let default_vertex_attributes _ = []
|
||||
let default_edge_attributes _ = []
|
||||
diff --git a/src/misc/service_graph.ml b/src/misc/service_graph.ml
|
||||
index 4f866c5..d158028 100644
|
||||
--- a/src/misc/service_graph.ml
|
||||
+++ b/src/misc/service_graph.ml
|
||||
@@ -289,7 +289,7 @@ Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]"
|
||||
color e
|
||||
else
|
||||
match CallG.E.label e with
|
||||
- | Inter_services -> [ `Style [`Invis] ]
|
||||
+ | Inter_services -> [ `Style `Invis ]
|
||||
| Inter_functions | Both -> color e
|
||||
|
||||
let default_edge_attributes _ = []
|
||||
@@ -303,7 +303,7 @@ Src root:%s in %s (is_root:%b) Dst:%s in %s (is_root:%b) [2d case]"
|
||||
sg_attributes =
|
||||
[ `Label ("S " ^ cs);
|
||||
`Color (Extlib.number_to_color id);
|
||||
- `Style [`Bold] ] }
|
||||
+ `Style `Bold ] }
|
||||
|
||||
end
|
||||
|
||||
diff --git a/src/pdg_types/pdgTypes.ml b/src/pdg_types/pdgTypes.ml
|
||||
index 05754e4..74cdebf 100644
|
||||
--- a/src/pdg_types/pdgTypes.ml
|
||||
+++ b/src/pdg_types/pdgTypes.ml
|
||||
@@ -626,7 +626,7 @@ module Pdg = struct
|
||||
|
||||
let graph_attributes _ = [`Rankdir `TopToBottom ]
|
||||
|
||||
- let default_vertex_attributes _ = [`Style [`Filled]]
|
||||
+ let default_vertex_attributes _ = [`Style `Filled]
|
||||
let vertex_name v = string_of_int (Node.id v)
|
||||
|
||||
let vertex_attributes v =
|
||||
@@ -711,13 +711,13 @@ module Pdg = struct
|
||||
if Dpd.is_ctrl d then (`Arrowtail `Odot)::attrib else attrib
|
||||
in
|
||||
let attrib =
|
||||
- if Dpd.is_addr d then (`Style [`Dotted])::attrib else attrib
|
||||
+ if Dpd.is_addr d then (`Style `Dotted)::attrib else attrib
|
||||
in
|
||||
attrib
|
||||
|
||||
let get_subgraph v =
|
||||
let mk_subgraph name attrib =
|
||||
- let attrib = (`Style [`Filled]) :: attrib in
|
||||
+ let attrib = (`Style `Filled) :: attrib in
|
||||
Some { Graph.Graphviz.DotAttributes.sg_name= name;
|
||||
sg_parent = None;
|
||||
sg_attributes = attrib }
|
||||
diff --git a/src/postdominators/print.ml b/src/postdominators/print.ml
|
||||
index f2e3a25..15f4ff2 100644
|
||||
--- a/src/postdominators/print.ml
|
||||
+++ b/src/postdominators/print.ml
|
||||
@@ -63,7 +63,7 @@ module Printer = struct
|
||||
|
||||
let graph_attributes (title, _) = [`Label title]
|
||||
|
||||
- let default_vertex_attributes _g = [`Style [`Filled]]
|
||||
+ let default_vertex_attributes _g = [`Style `Filled]
|
||||
let default_edge_attributes _g = []
|
||||
|
||||
let vertex_attributes (s, has_postdom) =
|
||||
diff --git a/src/semantic_callgraph/register.ml b/src/semantic_callgraph/register.ml
|
||||
index 1c79dcc..071f061 100644
|
||||
--- a/src/semantic_callgraph/register.ml
|
||||
+++ b/src/semantic_callgraph/register.ml
|
||||
@@ -102,8 +102,8 @@ module Service =
|
||||
let name = Kernel_function.get_name
|
||||
let attributes v =
|
||||
[ `Style
|
||||
- [if Kernel_function.is_definition v then `Bold
|
||||
- else `Dotted] ]
|
||||
+ (if Kernel_function.is_definition v then `Bold
|
||||
+ else `Dotted) ]
|
||||
let entry_point () =
|
||||
try Some (fst (Globals.entry_point ()))
|
||||
with Globals.No_such_entry_point _ -> None
|
||||
diff --git a/src/slicing/printSlice.ml b/src/slicing/printSlice.ml
|
||||
index c5363f9..211e0bb 100644
|
||||
--- a/src/slicing/printSlice.ml
|
||||
+++ b/src/slicing/printSlice.ml
|
||||
@@ -227,7 +227,7 @@ module PrintProject = struct
|
||||
|
||||
let graph_attributes (name, _) = [`Label name]
|
||||
|
||||
- let default_vertex_attributes _ = [`Style [`Filled]]
|
||||
+ let default_vertex_attributes _ = [`Style `Filled]
|
||||
|
||||
let vertex_name v = match v with
|
||||
| Src fi -> SlicingMacros.fi_name fi
|
||||
@@ -280,16 +280,16 @@ module PrintProject = struct
|
||||
|
||||
let edge_attributes (e, call) =
|
||||
let attrib = match e with
|
||||
- | (Src _, Src _) -> [`Style [`Invis]]
|
||||
- | (OptSliceCallers _, _) -> [`Style [`Invis]]
|
||||
- | (_, OptSliceCallers _) -> [`Style [`Invis]]
|
||||
+ | (Src _, Src _) -> [`Style `Invis]
|
||||
+ | (OptSliceCallers _, _) -> [`Style `Invis]
|
||||
+ | (_, OptSliceCallers _) -> [`Style `Invis]
|
||||
| _ -> []
|
||||
in match call with None -> attrib
|
||||
| Some call -> (`Label (string_of_int call.sid)):: attrib
|
||||
|
||||
let get_subgraph v =
|
||||
let mk_subgraph name attrib =
|
||||
- let attrib = (*(`Label name) ::*) (`Style [`Filled]) :: attrib in
|
||||
+ let attrib = (*(`Label name) ::*) (`Style `Filled) :: attrib in
|
||||
Some { Graph.Graphviz.DotAttributes.sg_name= name;
|
||||
sg_parent = None;
|
||||
sg_attributes = attrib }
|
||||
diff --git a/src/syntactic_callgraph/register.ml b/src/syntactic_callgraph/register.ml
|
||||
index d4669c4..d41980e 100644
|
||||
--- a/src/syntactic_callgraph/register.ml
|
||||
+++ b/src/syntactic_callgraph/register.ml
|
||||
@@ -37,8 +37,8 @@ module Service =
|
||||
let name v = nodeName v.cnInfo
|
||||
let attributes v =
|
||||
[ match v.cnInfo with
|
||||
- | NIVar (_,b) when not !b -> `Style [`Dotted]
|
||||
- | _ -> `Style [`Bold] ]
|
||||
+ | NIVar (_,b) when not !b -> `Style `Dotted
|
||||
+ | _ -> `Style `Bold ]
|
||||
let equal v1 v2 = id v1 = id v2
|
||||
let compare v1 v2 =
|
||||
let i1 = id v1 in
|
||||
diff --git a/src/wp/cil2cfg.ml b/src/wp/cil2cfg.ml
|
||||
index 6d8cf09..ba5f410 100644
|
||||
--- a/src/wp/cil2cfg.ml
|
||||
+++ b/src/wp/cil2cfg.ml
|
||||
@@ -1278,9 +1278,9 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct
|
||||
| Vstart | Vend | Vexit -> [`Color 0x0000FF; `Shape `Doublecircle]
|
||||
| VfctIn | VfctOut -> [`Color 0x0000FF; `Shape `Box]
|
||||
| VblkIn _ | VblkOut _ -> [`Shape `Box]
|
||||
- | Vloop _ | Vloop2 _ -> [`Color 0xFF0000; `Style [`Filled]]
|
||||
+ | Vloop _ | Vloop2 _ -> [`Color 0xFF0000; `Style `Filled]
|
||||
| Vtest _ | Vswitch _ ->
|
||||
- [`Color 0x00FF00; `Style [`Filled]; `Shape `Diamond]
|
||||
+ [`Color 0x00FF00; `Style `Filled; `Shape `Diamond]
|
||||
| Vcall _ | Vstmt _ -> []
|
||||
in (`Label (String.escaped label))::attr
|
||||
|
||||
@@ -1290,15 +1290,15 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct
|
||||
let attr = [] in
|
||||
let attr = (`Label (String.escaped (PE.edge_txt e)))::attr in
|
||||
let attr =
|
||||
- if is_back_edge e then (`Constraint false)::(`Style [`Bold])::attr
|
||||
+ if is_back_edge e then (`Constraint false)::(`Style `Bold)::attr
|
||||
else attr
|
||||
in
|
||||
let attr = match (edge_type e) with
|
||||
| Ethen | EbackThen -> (`Color 0x00FF00)::attr
|
||||
| Eelse | EbackElse -> (`Color 0xFF0000)::attr
|
||||
- | Ecase [] -> (`Color 0x0000FF)::(`Style [`Dashed])::attr
|
||||
+ | Ecase [] -> (`Color 0x0000FF)::(`Style `Dashed)::attr
|
||||
| Ecase _ -> (`Color 0x0000FF)::attr
|
||||
- | Enext -> (`Style [`Dotted])::attr
|
||||
+ | Enext -> (`Style `Dotted)::attr
|
||||
| Eback -> attr (* see is_back_edge above *)
|
||||
| Enone -> attr
|
||||
in
|
||||
@@ -1308,7 +1308,7 @@ module Printer (PE : sig val edge_txt : edge -> string end) = struct
|
||||
|
||||
let get_subgraph v =
|
||||
let mk_subgraph name attrib =
|
||||
- let attrib = (`Style [`Filled]) :: attrib in
|
||||
+ let attrib = (`Style `Filled) :: attrib in
|
||||
Some { Graph.Graphviz.DotAttributes.sg_name= name;
|
||||
sg_parent = None;
|
||||
sg_attributes = attrib }
|
||||
--
|
||||
@@ -3,12 +3,12 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "frama-c-${version}";
|
||||
version = "20140301";
|
||||
slang = "Neon";
|
||||
version = "20150201";
|
||||
slang = "Sodium";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz";
|
||||
sha256 = "0ca7ky7vs34did1j64v6d8gcp2irzw3rr5qgv47jhmidbipn1865";
|
||||
sha256 = "0wackacnnpxnh3612ld68bal8b1dm9cdsi180lw42bsyks03h5mn";
|
||||
};
|
||||
|
||||
why2 = fetchurl {
|
||||
@@ -23,7 +23,6 @@ stdenv.mkDerivation rec {
|
||||
|
||||
|
||||
enableParallelBuilding = true;
|
||||
configureFlags = [ "--disable-local-ocamlgraph" ];
|
||||
|
||||
unpackPhase = ''
|
||||
tar xf $src
|
||||
@@ -42,10 +41,6 @@ stdenv.mkDerivation rec {
|
||||
'';
|
||||
|
||||
|
||||
# Taken from Debian Sid
|
||||
# https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=746091
|
||||
patches = ./0004-Port-to-OCamlgraph-1.8.5.patch;
|
||||
|
||||
# Enter frama-c directory before patching
|
||||
prePatch = ''cd frama*'';
|
||||
postPatch = ''
|
||||
|
||||
@@ -1,12 +1,12 @@
|
||||
{ stdenv, fetchurl, makeWrapper, jdk }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "2.0.0-rc8";
|
||||
version = "2.0.0-rc14";
|
||||
name = "boot-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://github.com/boot-clj/boot/releases/download/${version}/boot.sh";
|
||||
sha256 = "1jqj04f33prb6nqsv7mffwdnz47ppi3szsbdzphjx8xzz394nl7j";
|
||||
sha256 = "12c24aqvwq8kj6iiac18rp0n8vlzacl7dd95m983yz24w885chc0";
|
||||
};
|
||||
|
||||
inherit jdk;
|
||||
|
||||
@@ -3,6 +3,16 @@
|
||||
{
|
||||
inherit version;
|
||||
|
||||
name = "cargo-${version}";
|
||||
|
||||
postInstall = ''
|
||||
rm "$out/lib/rustlib/components" \
|
||||
"$out/lib/rustlib/install.log" \
|
||||
"$out/lib/rustlib/rust-installer-version" \
|
||||
"$out/lib/rustlib/uninstall.sh" \
|
||||
"$out/lib/rustlib/manifest-cargo"
|
||||
'';
|
||||
|
||||
platform = if stdenv.system == "i686-linux"
|
||||
then "i686-unknown-linux-gnu"
|
||||
else if stdenv.system == "x86_64-linux"
|
||||
@@ -16,9 +26,8 @@
|
||||
meta = with stdenv.lib; {
|
||||
homepage = http://crates.io;
|
||||
description = "Downloads your Rust project's dependencies and builds your project";
|
||||
maintainers = with maintainers; [ wizeman ];
|
||||
license = [ licenses.mit licenses.asl20 ];
|
||||
platforms = platforms.linux;
|
||||
};
|
||||
|
||||
name = "cargo-${version}";
|
||||
}
|
||||
|
||||
36
pkgs/development/tools/build-managers/cargo/default.nix
Normal file
36
pkgs/development/tools/build-managers/cargo/default.nix
Normal file
@@ -0,0 +1,36 @@
|
||||
{ stdenv, fetchgit, rustPlatform, file, curl, python, pkgconfig, openssl
|
||||
, cmake, zlib }:
|
||||
|
||||
with ((import ./common.nix) { inherit stdenv; version = "2015-05-13"; });
|
||||
|
||||
with rustPlatform;
|
||||
|
||||
buildRustPackage rec {
|
||||
inherit name version meta;
|
||||
|
||||
src = fetchgit {
|
||||
url = "https://github.com/rust-lang/cargo.git";
|
||||
rev = "d814fcbf8efda3027d54c09e11aa7eaf0006a83c";
|
||||
sha256 = "0sppd3x2cacmbnypcjip44amnh66lrrbwwzsbz8rqf3nq2ah496x";
|
||||
leaveDotGit = true;
|
||||
};
|
||||
|
||||
depsSha256 = "1b0mpdxmp7inkg59n2phjwzpz5gx22wqg9rfd1s01a5ylara37jw";
|
||||
|
||||
buildInputs = [ file curl pkgconfig python openssl cmake zlib ];
|
||||
|
||||
configurePhase = ''
|
||||
./configure --enable-optimize --prefix=$out --local-cargo=${cargo}/bin/cargo
|
||||
'';
|
||||
|
||||
buildPhase = "make";
|
||||
|
||||
# Disable check phase as there are lots of failures (some probably due to
|
||||
# trying to access the network).
|
||||
doCheck = false;
|
||||
|
||||
installPhase = ''
|
||||
make install
|
||||
${postInstall}
|
||||
'';
|
||||
}
|
||||
@@ -19,11 +19,8 @@ let snapshotHash = if stdenv.system == "i686-linux"
|
||||
snapshotName = "cargo-nightly-${platform}.tar.gz";
|
||||
in
|
||||
|
||||
|
||||
stdenv.mkDerivation {
|
||||
inherit name;
|
||||
inherit version;
|
||||
inherit meta;
|
||||
inherit name version meta;
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://static-rust-lang-org.s3.amazonaws.com/cargo-dist/${snapshotDate}/${snapshotName}";
|
||||
@@ -35,10 +32,8 @@ stdenv.mkDerivation {
|
||||
installPhase = ''
|
||||
mkdir -p "$out"
|
||||
./install.sh "--prefix=$out"
|
||||
rm "$out/lib/rustlib/components" \
|
||||
"$out/lib/rustlib/install.log" \
|
||||
"$out/lib/rustlib/rust-installer-version" \
|
||||
"$out/lib/rustlib/uninstall.sh"
|
||||
|
||||
${postInstall}
|
||||
'' + (if stdenv.isLinux then ''
|
||||
patchelf --interpreter "${stdenv.glibc}/lib/${stdenv.cc.dynamicLinker}" \
|
||||
--set-rpath "${stdenv.cc.cc}/lib/:${stdenv.cc.cc}/lib64/:${zlib}/lib" \
|
||||
|
||||
@@ -1,13 +1,15 @@
|
||||
{ stdenv, fetchurl, fetchpatch, replace, curl, expat, zlib, bzip2, libarchive
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4, wantPS ? false, ps ? null
|
||||
}:
|
||||
|
||||
with stdenv.lib;
|
||||
|
||||
assert wantPS -> (ps != null);
|
||||
|
||||
let
|
||||
os = stdenv.lib.optionalString;
|
||||
majorVersion = "3.0";
|
||||
minorVersion = "2";
|
||||
majorVersion = "2.8";
|
||||
minorVersion = "12.2";
|
||||
version = "${majorVersion}.${minorVersion}";
|
||||
in
|
||||
|
||||
@@ -18,7 +20,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
src = fetchurl {
|
||||
url = "${meta.homepage}files/v${majorVersion}/cmake-${version}.tar.gz";
|
||||
sha256 = "0gk90mw7f93sgkrsrxqy2b6fm5j43yfw50xkrk0bxndvmlgackkb";
|
||||
sha256 = "0phf295a9cby0v7zqdswr238v5aiy3rb2fs6dz39zjxbmzlp8rcc";
|
||||
};
|
||||
|
||||
enableParallelBuilding = true;
|
||||
@@ -31,7 +33,7 @@ stdenv.mkDerivation rec {
|
||||
})] ++
|
||||
# Don't search in non-Nix locations such as /usr, but do search in
|
||||
# Nixpkgs' Glibc.
|
||||
optional (stdenv ? glibc) ./search-path-3.0.patch ++
|
||||
optional (stdenv ? glibc) ./search-path.patch ++
|
||||
optional (stdenv ? cross) (fetchurl {
|
||||
name = "fix-darwin-cross-compile.patch";
|
||||
url = "http://public.kitware.com/Bug/file_download.php?"
|
||||
@@ -43,6 +45,8 @@ stdenv.mkDerivation rec {
|
||||
++ optional useNcurses ncurses
|
||||
++ optional useQt4 qt4;
|
||||
|
||||
propagatedBuildInputs = optional wantPS ps;
|
||||
|
||||
CMAKE_PREFIX_PATH = stdenv.lib.concatStringsSep ":" buildInputs;
|
||||
|
||||
configureFlags =
|
||||
@@ -1,59 +0,0 @@
|
||||
{ fetchurl, stdenv, replace, curl, expat, zlib, bzip2, libarchive
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4, xmlrpc_c
|
||||
}:
|
||||
|
||||
with stdenv.lib;
|
||||
|
||||
let
|
||||
os = stdenv.lib.optionalString;
|
||||
majorVersion = "2.6";
|
||||
minorVersion = "4";
|
||||
version = "${majorVersion}.${minorVersion}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "cmake-${os useNcurses "cursesUI-"}${os useQt4 "qt4UI-"}${version}";
|
||||
|
||||
inherit majorVersion;
|
||||
|
||||
src = fetchurl {
|
||||
url = "${meta.homepage}files/v${majorVersion}/cmake-${version}.tar.gz";
|
||||
sha256 = "1wpxr5x4aggaqrqzjq3kg4hh09f0vyr1njik1pad01bvwd923pcw";
|
||||
};
|
||||
|
||||
patches =
|
||||
# Don't search in non-Nix locations such as /usr, but do search in
|
||||
# Nixpkgs' Glibc.
|
||||
optional (stdenv ? glibc) ./search-path-264.patch;
|
||||
|
||||
buildInputs = [ curl expat zlib bzip2 libarchive xmlrpc_c ]
|
||||
++ optional useNcurses ncurses
|
||||
++ optional useQt4 qt4;
|
||||
|
||||
CMAKE_PREFIX_PATH = stdenv.lib.concatStringsSep ":" buildInputs;
|
||||
|
||||
configureFlags =
|
||||
"--docdir=/share/doc/${name} --mandir=/share/man --system-libs"
|
||||
+ stdenv.lib.optionalString useQt4 " --qt-gui";
|
||||
|
||||
setupHook = ./setup-hook.sh;
|
||||
|
||||
postPatch =
|
||||
''
|
||||
dontUseCmakeConfigure=1
|
||||
source $setupHook
|
||||
fixCmakeFiles .
|
||||
'';
|
||||
|
||||
preConfigure = optionalString (stdenv ? glibc)
|
||||
''
|
||||
substituteInPlace Modules/Platform/UnixPaths.cmake --subst-var-by glibc ${stdenv.glibc}
|
||||
'';
|
||||
|
||||
meta = {
|
||||
homepage = http://www.cmake.org/;
|
||||
description = "Cross-Platform Makefile Generator";
|
||||
platforms = if useQt4 then qt4.meta.platforms else stdenv.lib.platforms.all;
|
||||
maintainers = [ stdenv.lib.maintainers.urkud ];
|
||||
};
|
||||
}
|
||||
@@ -1,67 +0,0 @@
|
||||
{ stdenv, fetchurl
|
||||
, bzip2, curl, expat, jsoncpp, libarchive, xz, zlib
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4
|
||||
}:
|
||||
|
||||
with stdenv.lib;
|
||||
|
||||
let
|
||||
os = stdenv.lib.optionalString;
|
||||
majorVersion = "3.2";
|
||||
minorVersion = "1";
|
||||
version = "${majorVersion}.${minorVersion}";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "cmake-${os useNcurses "cursesUI-"}${os useQt4 "qt4UI-"}${version}";
|
||||
|
||||
inherit majorVersion;
|
||||
|
||||
src = fetchurl {
|
||||
url = "${meta.homepage}files/v${majorVersion}/cmake-${version}.tar.gz";
|
||||
sha256 = "0b2hy4p0aa9zshlxyw9nmlh5q8q1lmnwmb594rvh6sx2n7v1r7vm";
|
||||
};
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
patches =
|
||||
# Don't search in non-Nix locations such as /usr, but do search in
|
||||
# Nixpkgs' Glibc.
|
||||
optional (stdenv ? glibc) ./search-path-3.0.patch ++
|
||||
optional (stdenv ? cross) (fetchurl {
|
||||
name = "fix-darwin-cross-compile.patch";
|
||||
url = "http://public.kitware.com/Bug/file_download.php?"
|
||||
+ "file_id=4981&type=bug";
|
||||
sha256 = "16acmdr27adma7gs9rs0dxdiqppm15vl3vv3agy7y8s94wyh4ybv";
|
||||
});
|
||||
|
||||
buildInputs =
|
||||
[ bzip2 curl expat jsoncpp libarchive xz zlib ]
|
||||
++ optional useNcurses ncurses
|
||||
++ optional useQt4 qt4;
|
||||
|
||||
CMAKE_PREFIX_PATH = stdenv.lib.concatStringsSep ":" buildInputs;
|
||||
|
||||
configureFlags =
|
||||
"--docdir=/share/doc/${name} --mandir=/share/man --system-libs"
|
||||
+ stdenv.lib.optionalString useQt4 " --qt-gui";
|
||||
|
||||
setupHook = ./setup-hook.sh;
|
||||
|
||||
dontUseCmakeConfigure = true;
|
||||
|
||||
preConfigure = optionalString (stdenv ? glibc)
|
||||
''
|
||||
source $setupHook
|
||||
fixCmakeFiles .
|
||||
substituteInPlace Modules/Platform/UnixPaths.cmake \
|
||||
--subst-var-by glibc ${stdenv.glibc}
|
||||
'';
|
||||
|
||||
meta = {
|
||||
homepage = http://www.cmake.org/;
|
||||
description = "Cross-Platform Makefile Generator";
|
||||
platforms = if useQt4 then qt4.meta.platforms else stdenv.lib.platforms.all;
|
||||
maintainers = with stdenv.lib.maintainers; [ urkud mornfall ttuegel ];
|
||||
};
|
||||
}
|
||||
@@ -1,17 +0,0 @@
|
||||
diff --git a/Source/CTest/cmCTestTestHandler.cxx b/Source/CTest/cmCTestTestHandler.cxx
|
||||
index e7491bb..57b4348 100644
|
||||
--- a/Source/CTest/cmCTestTestHandler.cxx
|
||||
+++ b/Source/CTest/cmCTestTestHandler.cxx
|
||||
@@ -1303,10 +1303,9 @@ int cmCTestTestHandler::ExecuteCommands(std::vector<cmStdString>& vec)
|
||||
for ( it = vec.begin(); it != vec.end(); ++it )
|
||||
{
|
||||
int retVal = 0;
|
||||
- std::string cmd = cmSystemTools::ConvertToOutputPath(it->c_str());
|
||||
- cmCTestLog(this->CTest, HANDLER_VERBOSE_OUTPUT, "Run command: " << cmd
|
||||
+ cmCTestLog(this->CTest, HANDLER_VERBOSE_OUTPUT, "Run command: " << *it
|
||||
<< std::endl);
|
||||
- if ( !cmSystemTools::RunSingleCommand(cmd.c_str(), 0, &retVal, 0,
|
||||
+ if ( !cmSystemTools::RunSingleCommand((*it).c_str(), 0, &retVal, 0,
|
||||
cmSystemTools::OUTPUT_MERGE
|
||||
/*this->Verbose*/) || retVal != 0 )
|
||||
{
|
||||
@@ -1,5 +1,7 @@
|
||||
{ stdenv, fetchurl, fetchpatch, replace, curl, expat, zlib, bzip2, libarchive
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4, wantPS ? false, ps ? null
|
||||
{ stdenv, fetchurl
|
||||
, bzip2, curl, expat, jsoncpp, libarchive, xz, zlib
|
||||
, useNcurses ? false, ncurses, useQt4 ? false, qt4
|
||||
, wantPS ? false, ps ? null
|
||||
}:
|
||||
|
||||
with stdenv.lib;
|
||||
@@ -8,8 +10,8 @@ assert wantPS -> (ps != null);
|
||||
|
||||
let
|
||||
os = stdenv.lib.optionalString;
|
||||
majorVersion = "2.8";
|
||||
minorVersion = "12.2";
|
||||
majorVersion = "3.2";
|
||||
minorVersion = "2";
|
||||
version = "${majorVersion}.${minorVersion}";
|
||||
in
|
||||
|
||||
@@ -20,32 +22,25 @@ stdenv.mkDerivation rec {
|
||||
|
||||
src = fetchurl {
|
||||
url = "${meta.homepage}files/v${majorVersion}/cmake-${version}.tar.gz";
|
||||
sha256 = "0phf295a9cby0v7zqdswr238v5aiy3rb2fs6dz39zjxbmzlp8rcc";
|
||||
sha256 = "0y3w83al0vh9ll7fnqm3nx7l8hsl85k8iv9abxb791q36rp4xsdd";
|
||||
};
|
||||
|
||||
enableParallelBuilding = true;
|
||||
|
||||
patches =
|
||||
[(fetchpatch { # see http://www.cmake.org/Bug/view.php?id=13959
|
||||
name = "FindFreetype-2.5.patch";
|
||||
url = "http://www.cmake.org/Bug/file_download.php?file_id=4660&type=bug";
|
||||
sha256 = "136z63ff83hnwd247cq4m8m8164pklzyl5i2csf5h6wd8p01pdkj";
|
||||
})] ++
|
||||
# Don't search in non-Nix locations such as /usr, but do search in
|
||||
# Nixpkgs' Glibc.
|
||||
optional (stdenv ? glibc) ./search-path.patch ++
|
||||
optional (stdenv ? glibc) ./search-path-3.2.patch ++
|
||||
optional (stdenv ? cross) (fetchurl {
|
||||
name = "fix-darwin-cross-compile.patch";
|
||||
url = "http://public.kitware.com/Bug/file_download.php?"
|
||||
+ "file_id=4981&type=bug";
|
||||
sha256 = "16acmdr27adma7gs9rs0dxdiqppm15vl3vv3agy7y8s94wyh4ybv";
|
||||
}) ++
|
||||
# fix cmake detection of openssl libs
|
||||
# see: http://public.kitware.com/Bug/bug_relationship_graph.php?bug_id=15386
|
||||
# and http://www.cmake.org/gitweb?p=cmake.git;a=commitdiff;h=c5d9a8283cfac15b4a5a07f18d5eb10c1f388505#patch1
|
||||
[./cmake_find_openssl_for_openssl-1.0.1m_and_up.patch];
|
||||
});
|
||||
|
||||
buildInputs = [ curl expat zlib bzip2 libarchive ]
|
||||
buildInputs =
|
||||
[ bzip2 curl expat libarchive xz zlib ]
|
||||
++ optional (jsoncpp != null) jsoncpp
|
||||
++ optional useNcurses ncurses
|
||||
++ optional useQt4 qt4;
|
||||
|
||||
@@ -54,8 +49,15 @@ stdenv.mkDerivation rec {
|
||||
CMAKE_PREFIX_PATH = stdenv.lib.concatStringsSep ":" buildInputs;
|
||||
|
||||
configureFlags =
|
||||
"--docdir=/share/doc/${name} --mandir=/share/man --system-libs"
|
||||
+ stdenv.lib.optionalString useQt4 " --qt-gui";
|
||||
[
|
||||
"--docdir=/share/doc/${name}"
|
||||
"--mandir=/share/man"
|
||||
"--system-libs"
|
||||
]
|
||||
++ optional (jsoncpp == null) "--no-system-jsoncpp"
|
||||
++ optional useQt4 "--qt-gui"
|
||||
++ ["--"]
|
||||
++ optional (!useNcurses) "-DBUILD_CursesDialog=OFF";
|
||||
|
||||
setupHook = ./setup-hook.sh;
|
||||
|
||||
@@ -65,13 +67,14 @@ stdenv.mkDerivation rec {
|
||||
''
|
||||
source $setupHook
|
||||
fixCmakeFiles .
|
||||
substituteInPlace Modules/Platform/UnixPaths.cmake --subst-var-by glibc ${stdenv.glibc}
|
||||
substituteInPlace Modules/Platform/UnixPaths.cmake \
|
||||
--subst-var-by glibc ${stdenv.glibc}
|
||||
'';
|
||||
|
||||
meta = {
|
||||
homepage = http://www.cmake.org/;
|
||||
description = "Cross-Platform Makefile Generator";
|
||||
platforms = if useQt4 then qt4.meta.platforms else stdenv.lib.platforms.all;
|
||||
maintainers = with stdenv.lib.maintainers; [ urkud mornfall ];
|
||||
maintainers = with stdenv.lib.maintainers; [ urkud mornfall ttuegel ];
|
||||
};
|
||||
}
|
||||
|
||||
@@ -1,93 +0,0 @@
|
||||
diff --git a/Modules/Platform/Linux.cmake b/Modules/Platform/Linux.cmake
|
||||
index 4e4c2cb..9784655 100644
|
||||
--- a/Modules/Platform/Linux.cmake
|
||||
+++ b/Modules/Platform/Linux.cmake
|
||||
@@ -43,21 +43,10 @@ ELSE(DEFINED CMAKE_INSTALL_SO_NO_EXE)
|
||||
# checking the platform every time. This option is advanced enough
|
||||
# that only package maintainers should need to adjust it. They are
|
||||
# capable of providing a setting on the command line.
|
||||
- IF(EXISTS "/etc/debian_version")
|
||||
- SET(CMAKE_INSTALL_SO_NO_EXE 1 CACHE INTERNAL
|
||||
- "Install .so files without execute permission.")
|
||||
- ELSE(EXISTS "/etc/debian_version")
|
||||
- SET(CMAKE_INSTALL_SO_NO_EXE 0 CACHE INTERNAL
|
||||
- "Install .so files without execute permission.")
|
||||
- ENDIF(EXISTS "/etc/debian_version")
|
||||
+ SET(CMAKE_INSTALL_SO_NO_EXE 0 CACHE INTERNAL
|
||||
+ "Install .so files without execute permission.")
|
||||
ENDIF(DEFINED CMAKE_INSTALL_SO_NO_EXE)
|
||||
|
||||
INCLUDE(Platform/UnixPaths)
|
||||
|
||||
-# Debian has lib64 paths only for compatibility so they should not be
|
||||
-# searched.
|
||||
-IF(EXISTS "/etc/debian_version")
|
||||
- SET_PROPERTY(GLOBAL PROPERTY FIND_LIBRARY_USE_LIB64_PATHS FALSE)
|
||||
-ENDIF(EXISTS "/etc/debian_version")
|
||||
-# always include the gcc compiler information
|
||||
INCLUDE(Platform/gcc)
|
||||
diff --git a/Modules/Platform/UnixPaths.cmake b/Modules/Platform/UnixPaths.cmake
|
||||
index 584d334..4fcf951 100755
|
||||
--- a/Modules/Platform/UnixPaths.cmake
|
||||
+++ b/Modules/Platform/UnixPaths.cmake
|
||||
@@ -8,56 +8,18 @@ GET_FILENAME_COMPONENT(_CMAKE_INSTALL_DIR "${_CMAKE_INSTALL_DIR}" PATH)
|
||||
# List common installation prefixes. These will be used for all
|
||||
# search types.
|
||||
LIST(APPEND CMAKE_SYSTEM_PREFIX_PATH
|
||||
- # Standard
|
||||
- / /usr /usr/local
|
||||
-
|
||||
- # CMake install location
|
||||
- "${_CMAKE_INSTALL_DIR}"
|
||||
-
|
||||
- # Project install destination.
|
||||
- "${CMAKE_INSTALL_PREFIX}"
|
||||
- )
|
||||
-
|
||||
-# List common include file locations not under the common prefixes.
|
||||
-LIST(APPEND CMAKE_SYSTEM_INCLUDE_PATH
|
||||
- # Windows API on Cygwin
|
||||
- /usr/include/w32api
|
||||
-
|
||||
- # X11
|
||||
- /usr/X11R6/include /usr/include/X11
|
||||
-
|
||||
- # Other
|
||||
- /opt/local/include /usr/pkg/include
|
||||
- /opt/csw/include /opt/include
|
||||
- /usr/openwin/include
|
||||
- )
|
||||
-
|
||||
-LIST(APPEND CMAKE_SYSTEM_LIBRARY_PATH
|
||||
- # Windows API on Cygwin
|
||||
- /usr/lib/w32api
|
||||
-
|
||||
- # X11
|
||||
- /usr/X11R6/lib /usr/lib/X11
|
||||
-
|
||||
- # Other
|
||||
- /opt/local/lib /usr/pkg/lib
|
||||
- /opt/csw/lib /opt/lib
|
||||
- /usr/openwin/lib
|
||||
- )
|
||||
-
|
||||
-LIST(APPEND CMAKE_SYSTEM_PROGRAM_PATH
|
||||
- /usr/pkg/bin
|
||||
+ "@glibc@"
|
||||
)
|
||||
|
||||
LIST(APPEND CMAKE_PLATFORM_IMPLICIT_LINK_DIRECTORIES
|
||||
- /lib /usr/lib /usr/lib32 /usr/lib64
|
||||
+ "@glibc@/lib"
|
||||
)
|
||||
|
||||
LIST(APPEND CMAKE_C_IMPLICIT_INCLUDE_DIRECTORIES
|
||||
- /usr/include
|
||||
+ "@glibc@/include"
|
||||
)
|
||||
LIST(APPEND CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES
|
||||
- /usr/include
|
||||
+ "@glibc@/include"
|
||||
)
|
||||
|
||||
# Enable use of lib64 search path variants by default.
|
||||
@@ -36,6 +36,15 @@ cmakeConfigurePhase() {
|
||||
cmakeFlags="-DCMAKE_CXX_COMPILER=$crossConfig-g++ -DCMAKE_C_COMPILER=$crossConfig-gcc $cmakeFlags"
|
||||
fi
|
||||
|
||||
# This installs shared libraries with a fully-specified install
|
||||
# name. By default, cmake installs shared libraries with just the
|
||||
# basename as the install name, which means that, on Darwin, they
|
||||
# can only be found by an executable at runtime if the shared
|
||||
# libraries are in a system path or in the same directory as the
|
||||
# executable. This flag makes the shared library accessible from its
|
||||
# nix/store directory.
|
||||
cmakeFlags="-DCMAKE_INSTALL_NAME_DIR=$prefix/lib $cmakeFlags"
|
||||
|
||||
# Avoid cmake resetting the rpath of binaries, on make install
|
||||
# And build always Release, to ensure optimisation flags
|
||||
cmakeFlags="-DCMAKE_BUILD_TYPE=Release -DCMAKE_SKIP_BUILD_RPATH=ON $cmakeFlags"
|
||||
|
||||
@@ -0,0 +1,26 @@
|
||||
{ stdenv, fetchurl, pythonPackages, buildPythonPackage, git }:
|
||||
|
||||
let
|
||||
upstreamName = "jenkins-job-builder";
|
||||
version = "1.2.0";
|
||||
|
||||
in
|
||||
|
||||
buildPythonPackage rec {
|
||||
name = "${upstreamName}-${version}";
|
||||
namePrefix = ""; # Don't prepend "pythonX.Y-" to the name
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://pypi.python.org/packages/source/j/${upstreamName}/${name}.tar.gz";
|
||||
sha256 = "09nxdhb0ilxpmk5gbvik6kj9b6j718j5an903dpcvi3r6vzk9b3p";
|
||||
};
|
||||
|
||||
pythonPath = with pythonPackages; [ pip six pyyaml pbr python-jenkins ];
|
||||
doCheck = false; # Requires outdated Sphinx
|
||||
|
||||
meta = {
|
||||
description = "System for configuring Jenkins jobs using simple YAML files";
|
||||
homepage = http://ci.openstack.org/jjb.html;
|
||||
license = stdenv.lib.licenses.asl20;
|
||||
};
|
||||
}
|
||||
@@ -1,27 +0,0 @@
|
||||
a :
|
||||
let
|
||||
fetchurl = a.fetchurl;
|
||||
|
||||
version = a.lib.attrByPath ["version"] "0.11" a;
|
||||
buildInputs = with a; [
|
||||
python pil makeWrapper
|
||||
];
|
||||
in
|
||||
rec {
|
||||
src = fetchurl {
|
||||
url = "http://prdownloads.sourceforge.net/docutils/docutils-${version}.tar.gz";
|
||||
sha256 = "1jbybs5a396nrjy9m13pgvsxdwaj7jw7nsawkhl4fi1nvxm1dx4s";
|
||||
};
|
||||
|
||||
inherit buildInputs;
|
||||
configureFlags = [];
|
||||
|
||||
/* doConfigure should be removed if not needed */
|
||||
phaseNames = ["installPythonPackage" "wrapBinContentsPython"];
|
||||
|
||||
name = "python-docutils-" + version;
|
||||
meta = {
|
||||
description = "Processor of ReStructured Text";
|
||||
};
|
||||
}
|
||||
|
||||
@@ -3,11 +3,11 @@
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "gtk-doc-${version}";
|
||||
version = "1.21";
|
||||
version = "1.23";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://gnome/sources/gtk-doc/${version}/${name}.tar.xz";
|
||||
sha256 = "0gpfh25qxsic7n25pfl74mjp38hdm3pr4islhlaxv3p05q0lv4sx";
|
||||
sha256 = "1i0q0zaj3f2xg478nxyfhaivkhi6mj0dn0s6qzshzhb625qj6p0b";
|
||||
};
|
||||
|
||||
# maybe there is a better way to pass the needed dtd and xsl files
|
||||
|
||||
@@ -1,20 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath, haddockApi }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "haddock";
|
||||
version = "2.15.0.1";
|
||||
sha256 = "0pvhhqackfikmp5zg6v6lysvr69f3f9f78xcjs4sd68f0rby7fdp";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ haddockApi ];
|
||||
testDepends = [ Cabal filepath ];
|
||||
preCheck = "unset GHC_PACKAGE_PATH";
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/haddock/";
|
||||
description = "A documentation-generation tool for Haskell libraries";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,25 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, alex, deepseq, doctest, filepath, happy, hspec, HUnit, mtl
|
||||
, QuickCheck, temporary
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "BNFC";
|
||||
version = "2.7.1";
|
||||
sha256 = "1n9l64wzga3i7ifh2k5rwhxp60gb0av5fszygw5mvr31r64cf4fp";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ deepseq filepath mtl ];
|
||||
testDepends = [
|
||||
deepseq doctest filepath hspec HUnit mtl QuickCheck temporary
|
||||
];
|
||||
buildTools = [ alex happy ];
|
||||
meta = {
|
||||
homepage = "http://bnfc.digitalgrammars.com/";
|
||||
description = "A compiler front-end generator";
|
||||
license = self.stdenv.lib.licenses.gpl2;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ andres simons ];
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath, random }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "DrIFT";
|
||||
version = "2.4.2";
|
||||
sha256 = "1w0wfmrjifidl2qz998ig07afd4p6yp890lwl8as57bay490nakl";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath random ];
|
||||
meta = {
|
||||
homepage = "http://repetae.net/computer/haskell/DrIFT/";
|
||||
description = "Program to derive type class instances";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,19 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cmdargs, HTTP, network, networkUri }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "PastePipe";
|
||||
version = "1.7";
|
||||
sha256 = "0had11n44y7zjhhymdbvahwmxcxxrbxy7c9jxijhw3n7xqhdmva0";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ cmdargs HTTP network networkUri ];
|
||||
meta = {
|
||||
homepage = "http://github.com/Fuuzetsu/pastepipe";
|
||||
description = "CLI for pasting to lpaste.net";
|
||||
license = self.stdenv.lib.licenses.gpl3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ fuuzetsu ];
|
||||
};
|
||||
})
|
||||
@@ -1,23 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, fgl, filepath, Graphalyze, graphviz, haskellSrcExts
|
||||
, mtl, multiset, random
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "SourceGraph";
|
||||
version = "0.7.0.6";
|
||||
sha256 = "03psglm6xyqvcgnbimidafy51kwpipk5q6s8ip5vhjm2d5makkhm";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
Cabal fgl filepath Graphalyze graphviz haskellSrcExts mtl multiset
|
||||
random
|
||||
];
|
||||
meta = {
|
||||
description = "Static code analysis using graph-theoretic techniques";
|
||||
license = "GPL";
|
||||
platforms = self.ghc.meta.platforms;
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, dlist, filepath, HUnit, languageC, shelly, testFramework
|
||||
, testFrameworkHunit, text, transformers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "c2hs";
|
||||
version = "0.20.1";
|
||||
sha256 = "1w2w9zxirzjd5lniwqakq59glgsh4mw3565x2l9qrin0bfjxkn3h";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ dlist filepath languageC ];
|
||||
testDepends = [
|
||||
filepath HUnit shelly testFramework testFrameworkHunit text
|
||||
transformers
|
||||
];
|
||||
meta = {
|
||||
homepage = "https://github.com/haskell/c2hs";
|
||||
description = "C->Haskell FFI tool that gives some cross-language type safety";
|
||||
license = self.stdenv.lib.licenses.gpl2;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,22 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cmdargs, filepath, HStringTemplate, languageC, mtl, split
|
||||
, transformers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "c2hsc";
|
||||
version = "0.6.5";
|
||||
sha256 = "0c5hzi4nw9n3ir17swbwymkymnpiw958z8r2hw6656ijwqkxvzgd";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
cmdargs filepath HStringTemplate languageC mtl split transformers
|
||||
];
|
||||
meta = {
|
||||
homepage = "https://github.com/jwiegley/c2hsc";
|
||||
description = "Convert C API header files to .hsc and .hsc.helper.c files";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,27 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, cabalInstall, cabalLenses, cmdargs, either
|
||||
, filepath, Glob, lens, strict, tasty, tastyGolden, transformers
|
||||
, unorderedContainers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal-bounds";
|
||||
version = "0.8.9";
|
||||
sha256 = "1vprf6nsw3qnppqxcm5jwvwxyalkaq364xcmig54ma47rsk23nzk";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
Cabal cabalLenses cmdargs either lens strict transformers
|
||||
unorderedContainers
|
||||
];
|
||||
testDepends = [ filepath Glob tasty tastyGolden ];
|
||||
buildTools = [ cabalInstall ];
|
||||
jailbreak = true;
|
||||
doCheck = false;
|
||||
meta = {
|
||||
description = "A command line program for managing the bounds/versions of the dependencies in a cabal file";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,22 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, ansiWlPprint, Cabal, filepath, mtl, optparseApplicative
|
||||
, tar, utf8String
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal-db";
|
||||
version = "0.1.11";
|
||||
sha256 = "0kxj7xf0r1waxxi25g46a2wj43dcd3b1lkdn20l4r7m3r44y1nd7";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
ansiWlPprint Cabal filepath mtl optparseApplicative tar utf8String
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://github.com/vincenthz/cabal-db";
|
||||
description = "query tools for the local cabal database";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,36 +0,0 @@
|
||||
{ cabal, fetchgit, bytestring ? null, containers ? null, directory ? null,
|
||||
filepath, process ? null, attoparsec, ghcPaths, transformers }:
|
||||
|
||||
let
|
||||
tag = "0.5.2.0";
|
||||
in
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal-delete";
|
||||
version = "${tag}";
|
||||
src = fetchgit {
|
||||
url = git://github.com/iquiw/cabal-delete.git;
|
||||
rev = "refs/tags/v${tag}";
|
||||
sha256 = "1ap319isjg8bafm4jz2krfwvvg11hj5yk0g99a3l1a3a36hpdgzw";
|
||||
};
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
bytestring
|
||||
containers
|
||||
directory
|
||||
filepath
|
||||
process
|
||||
attoparsec
|
||||
ghcPaths
|
||||
transformers
|
||||
];
|
||||
meta = {
|
||||
homepage = "https://github.com/iquiw/cabal-delete";
|
||||
description = "Uninstall packages installed by cabal";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal-ghci";
|
||||
version = "0.3";
|
||||
sha256 = "1x7fpvvmr2mq7l960wgsijhyrdaiq3lnnl3z6drklc5p73pms8w6";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ Cabal filepath ];
|
||||
meta = {
|
||||
homepage = "http://github.com/atnnn/cabal-ghci";
|
||||
description = "Set up ghci with options taken from a .cabal file";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,20 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, hspec, shelly, systemFileio, systemFilepath, text }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal-meta";
|
||||
version = "0.4.1.2";
|
||||
sha256 = "17ln9j0n9rb0kbnp37fi9yaf932dacrdmf3jrp301r886kh2a7kk";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ shelly systemFileio systemFilepath text ];
|
||||
testDepends = [ hspec shelly systemFilepath text ];
|
||||
doCheck = false;
|
||||
meta = {
|
||||
homepage = "http://www.yesodweb.com/";
|
||||
description = "build multiple packages at once";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,23 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, cmdargs, stylishHaskell, systemFileio
|
||||
, systemFilepath, text, unorderedContainers, yaml
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cabal2ghci";
|
||||
version = "0.0.1.1";
|
||||
sha256 = "1fg3pr25f78a6b8nqxvxki4z3fvgx4i6zkmpl992a0iarycqdrsg";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
Cabal cmdargs stylishHaskell systemFileio systemFilepath text
|
||||
unorderedContainers yaml
|
||||
];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
description = "A tool to generate .ghci file from .cabal";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -7,11 +7,11 @@
|
||||
|
||||
mkDerivation rec {
|
||||
pname = "cabal2nix";
|
||||
version = "20150423";
|
||||
version = "20150518";
|
||||
src = fetchgit {
|
||||
url = "http://github.com/NixOS/cabal2nix.git";
|
||||
rev = "8cfe61c222bd2750ef29f991a2a3ee353444e458";
|
||||
sha256 = "07n5am1ca00291qaarvwgzbkhwqc4f4wwhffycwwxaq46by34l7b";
|
||||
rev = "bf850da9044b16efb9ef06a05c645fa981513444";
|
||||
sha256 = "0kwiwakff1iaglf7mfvz096smqi73pgcfd975dvp5w1cd8yazd73";
|
||||
deepClone = true;
|
||||
};
|
||||
isExecutable = true;
|
||||
|
||||
@@ -1,25 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, attoparsec, deepseq, filepath, haskellSrcMeta
|
||||
, languageJavascript, mimeTypes, monadloc, mtl, optparseApplicative
|
||||
, parsec, syb, systemFilepath, text, textFormat
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cake3";
|
||||
version = "0.5.2.0";
|
||||
sha256 = "0wr797r7sg8f48r2pjl2nw70vcdkiamqghz2zpfr6awy9018fhgw";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
attoparsec deepseq filepath haskellSrcMeta languageJavascript
|
||||
mimeTypes monadloc mtl optparseApplicative parsec syb
|
||||
systemFilepath text textFormat
|
||||
];
|
||||
meta = {
|
||||
homepage = "https://github.com/grwlf/cake3";
|
||||
description = "Third cake the Makefile EDSL";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,26 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, downloadCurl, either, filepath, hackageDb, machines
|
||||
, machinesDirectory, MissingH, monadLoops, monoTraversable, tar
|
||||
, text, transformers, yaml, zlib
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "codex";
|
||||
version = "0.2.0.2";
|
||||
sha256 = "0an043cmsxc296i90pv19d8xdl7fg2fvf026lx4rly7bwskzn99x";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
Cabal downloadCurl either filepath hackageDb machines
|
||||
machinesDirectory MissingH monadLoops monoTraversable tar text
|
||||
transformers yaml zlib
|
||||
];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
homepage = "http://github.com/aloiscochard/codex";
|
||||
description = "A ctags file generator for cabal project dependencies";
|
||||
license = self.stdenv.lib.licenses.asl20;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, diagramsLib, diagramsSvg, filepath, ghcEvents, lens, mtl
|
||||
, optparseApplicative, parsec, SVGFonts, thLift, transformers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "ghc-events-analyze";
|
||||
version = "0.2.1";
|
||||
sha256 = "0lf063p2wj2d1hxb5hx4bcid3a3ni3g9x8sglm5q5kfbmdk7awj4";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
diagramsLib diagramsSvg filepath ghcEvents lens mtl
|
||||
optparseApplicative parsec SVGFonts thLift transformers
|
||||
];
|
||||
meta = {
|
||||
description = "Analyze and visualize event logs";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "ghc-gc-tune";
|
||||
version = "0.3";
|
||||
sha256 = "0ghp3f86m91zi6kl8zq157717s2p73nwdgln4aiclq830m72ys9w";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath ];
|
||||
meta = {
|
||||
homepage = "http://code.haskell.org/~dons/code/ghc-gc-tune";
|
||||
description = "Graph performance of Haskell programs with different GC flags";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cmdargs, extra, filepath, tasty, tastyHunit, terminalSize
|
||||
, time
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "ghcid";
|
||||
version = "0.3.2";
|
||||
sha256 = "1kx20la4snldhd709y69za8bs57v90nblghfrxrvmzhrmpvh4bn3";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ cmdargs extra filepath terminalSize time ];
|
||||
testDepends = [
|
||||
cmdargs extra filepath tasty tastyHunit terminalSize time
|
||||
];
|
||||
doCheck = false;
|
||||
meta = {
|
||||
homepage = "https://github.com/ndmitchell/ghcid#readme";
|
||||
description = "GHCi based bare bones IDE";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, dotgen, filepath, haskellLexer }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "graphmod";
|
||||
version = "1.2.6";
|
||||
sha256 = "02p1x44ywv2mb4l2dsz9z3ybnvv4nns3882lqm3nc8sw2hkib8z3";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ dotgen filepath haskellLexer ];
|
||||
meta = {
|
||||
homepage = "http://github.com/yav/graphmod/wiki";
|
||||
description = "Present the module dependencies of a program as a \"dot\" graph";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,16 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, happy, haskellSrcMeta, mtl }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "happy-meta";
|
||||
version = "0.2.0.7";
|
||||
sha256 = "12599233lh0ffmvlim0gs5jzg8lly1g11i1cg44lb37bz3l7psh9";
|
||||
buildDepends = [ haskellSrcMeta mtl ];
|
||||
buildTools = [ happy ];
|
||||
meta = {
|
||||
description = "Quasi-quoter for Happy parsers";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath, HSH }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "haskdogs";
|
||||
version = "0.3.2";
|
||||
sha256 = "0vl3c66ki9j9ncs2rapdn80kbfk0l3y97qwfraqlnjycdl10sm6r";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ Cabal filepath HSH ];
|
||||
meta = {
|
||||
homepage = "http://github.com/ierton/haskdogs";
|
||||
description = "Generate ctags file for haskell project directory and it's deps";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,26 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, aeson, Cabal, filepath, ghcPaths, haddock, monadLoops
|
||||
, text, unorderedContainers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "haskell-docs";
|
||||
version = "4.2.2";
|
||||
sha256 = "0w52kzwjzd5jl8v55rjy5550cy2fcyj9j5b7b33vbwjyh06gfrk1";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
aeson Cabal filepath ghcPaths haddock monadLoops text
|
||||
unorderedContainers
|
||||
];
|
||||
doCheck = false;
|
||||
meta = {
|
||||
homepage = "http://github.com/chrisdone/haskell-docs";
|
||||
description = "A program to find and display the docs and type of a name";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
@@ -1,19 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath, json, utf8String }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hasktags";
|
||||
version = "0.69.0";
|
||||
sha256 = "1bba6w5h5a5frc899cdlxcyshiqdni6lcqby618akr1917ih1qh8";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath json utf8String ];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
homepage = "http://github.com/MarcWeber/hasktags";
|
||||
description = "Produces ctags \"tags\" and etags \"TAGS\" files for Haskell programs";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,17 +0,0 @@
|
||||
{ cabal, cmdargs, ghcPaths, network, syb, time, fetchurl }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hdevtools";
|
||||
version = "0.1.0.6-pre-github-schell-9e34f7dd";
|
||||
sha256 = "1a218m817q35f52fv6mn28sfv136i6fm2mzgdidpm24pc0585gl7";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
patches = [ (fetchurl { url = "https://github.com/ts468/hdevtools/pull/2.patch"; sha256 = "104vdw6qxl71fdg43ppv0hrg6k17zaijq73vap794178d3gb35al"; }) ];
|
||||
buildDepends = [ cmdargs ghcPaths network syb time ];
|
||||
meta = {
|
||||
homepage = "https://github.com/bitc/hdevtools/";
|
||||
description = "Persistent GHC powered background server for FAST haskell development tools";
|
||||
license = self.stdenv.lib.licenses.mit;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,23 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, ansiTerminal, cmdargs, cpphs, extra, filepath
|
||||
, haskellSrcExts, hscolour, transformers, uniplate
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hlint";
|
||||
version = "1.9.13";
|
||||
sha256 = "1cj487l3jvrp43acwk3ihc5mzyqwxxa0nqahad27sd3bbmx86p4a";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
ansiTerminal cmdargs cpphs extra filepath haskellSrcExts hscolour
|
||||
transformers uniplate
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://community.haskell.org/~ndm/hlint/";
|
||||
description = "Source code suggestions";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filemanip, filepath, fsnotify, systemFilepath, text }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hobbes";
|
||||
version = "0.2.2";
|
||||
sha256 = "1pri63d59q918jv1hdp2ib06m6lzw9a2b6bjyn86b2qrrx2512xd";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filemanip filepath fsnotify systemFilepath text ];
|
||||
meta = {
|
||||
homepage = "http://github.com/jhickner/hobbes";
|
||||
description = "A small file watcher for OSX";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cairo, filepath, glade, glib, gtk, gtkglext, hp2anyCore
|
||||
, hp2anyGraph, OpenGL, time
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hp2any-manager";
|
||||
version = "0.4.6";
|
||||
sha256 = "143j3ylvzyq1s2l357vzqrwdcgg6rqhnmv0awb3nvm66c9smaarv";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
cairo filepath glade glib gtk gtkglext hp2anyCore hp2anyGraph
|
||||
OpenGL time
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/haskellwiki/Hp2any";
|
||||
description = "A utility to visualise and compare heap profiles";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
};
|
||||
})
|
||||
@@ -1,17 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath, preprocessorTools }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hsb2hs";
|
||||
version = "0.2";
|
||||
sha256 = "013n3l80449wxmbfmcidg8mdjk4nkxv7s3jcbfy5g4jps6gsg1fx";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath preprocessorTools ];
|
||||
meta = {
|
||||
description = "Preprocesses a file, adding blobs from files as string literals";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,17 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hscolour";
|
||||
version = "1.20.3";
|
||||
sha256 = "15ix93sw4p7g5ln2halcgqppdc0i0vmkzcjzxvqzkk9yp9pq3nrs";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
meta = {
|
||||
homepage = "http://code.haskell.org/~malcolm/hscolour/";
|
||||
description = "Colourise Haskell code";
|
||||
license = "GPL";
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,23 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cereal, cpphs, deepseq, haskellSrcExts, mtl, pureCdb
|
||||
, testSimple, uniplate, Unixutils, vector
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hscope";
|
||||
version = "0.4.1";
|
||||
sha256 = "1m5mp45pvf64pnpc3lsig382177vfc232bbm9g3a8q58jrwridy7";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
cereal cpphs deepseq haskellSrcExts mtl pureCdb uniplate vector
|
||||
];
|
||||
testDepends = [ mtl testSimple Unixutils ];
|
||||
meta = {
|
||||
homepage = "https://github.com/bosu/hscope";
|
||||
description = "cscope like browser for Haskell code";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, mtl, network, time }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "hslogger";
|
||||
version = "1.2.6";
|
||||
sha256 = "0yqw7824bn8vb9iynx8lkgswxd0nz484k4bvcwd02wvakbbfawkk";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ mtl network time ];
|
||||
meta = {
|
||||
homepage = "http://software.complete.org/hslogger";
|
||||
description = "Versatile logging framework";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,40 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, aeson, base64Bytestring, cereal, classyPrelude, cmdargs
|
||||
, filepath, ghcParser, ghcPaths, haskeline, haskellSrcExts, here
|
||||
, hlint, hspec, HTTP, HUnit, MissingH, monoTraversable, mtl, parsec
|
||||
, random, setenv, shelly, split, stm, strict, systemArgv0
|
||||
, systemFilepath, tar, text, transformers, unorderedContainers
|
||||
, utf8String, uuid, vector, zeromq4Haskell
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "ihaskell";
|
||||
version = "0.4.3.0";
|
||||
sha256 = "1k6i56cdzv5ikci20brq7qj07nqdpzkfj7xr69lh1gvx7xb24ida";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
aeson base64Bytestring cereal classyPrelude cmdargs filepath
|
||||
ghcParser ghcPaths haskeline haskellSrcExts here hlint hspec HTTP
|
||||
HUnit MissingH monoTraversable mtl parsec random shelly split stm
|
||||
strict systemArgv0 systemFilepath tar text transformers
|
||||
unorderedContainers utf8String uuid vector zeromq4Haskell
|
||||
];
|
||||
testDepends = [
|
||||
aeson base64Bytestring cereal classyPrelude cmdargs filepath
|
||||
ghcParser ghcPaths haskeline haskellSrcExts here hlint hspec HTTP
|
||||
HUnit MissingH monoTraversable mtl parsec random setenv shelly
|
||||
split stm strict systemArgv0 systemFilepath tar text transformers
|
||||
unorderedContainers utf8String uuid vector zeromq4Haskell
|
||||
];
|
||||
jailbreak = true;
|
||||
doCheck = false;
|
||||
meta = {
|
||||
homepage = "http://gibiansky.github.io/IHaskell/";
|
||||
description = "A Haskell backend kernel for the IPython project";
|
||||
license = self.stdenv.lib.licenses.mit;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ edwtjo ];
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "jailbreak-cabal";
|
||||
version = "1.1";
|
||||
sha256 = "0x0dkzfjsgqpjmldgami46ki9k7pgy7ll4slms0kdc89qryzp7dg";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ Cabal ];
|
||||
meta = {
|
||||
homepage = "http://github.com/peti/jailbreak-cabal";
|
||||
description = "Strip version restrictions from build dependencies in Cabal files";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,33 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, aeson, async, attoparsec, blazeBuilder, caseInsensitive
|
||||
, conduit, conduitExtra, dataDefault, filepath, fsnotify, hspec
|
||||
, httpClient, httpConduit, httpReverseProxy, httpTypes, liftedBase
|
||||
, mtl, network, networkConduitTls, random, regexTdfa, stm
|
||||
, systemFileio, systemFilepath, tar, text, time, transformers
|
||||
, unixCompat, unorderedContainers, vector, wai, waiAppStatic
|
||||
, waiExtra, warp, warpTls, yaml, zlib
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "keter";
|
||||
version = "1.3.6";
|
||||
sha256 = "00g34gazj3kk39nk34vzw88dy04rr3swb0hcl6k6gafwqrpv3i79";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
aeson async attoparsec blazeBuilder caseInsensitive conduit
|
||||
conduitExtra dataDefault filepath fsnotify httpClient httpConduit
|
||||
httpReverseProxy httpTypes liftedBase mtl network networkConduitTls
|
||||
random regexTdfa stm systemFileio systemFilepath tar text time
|
||||
transformers unixCompat unorderedContainers vector wai waiAppStatic
|
||||
waiExtra warp warpTls yaml zlib
|
||||
];
|
||||
testDepends = [ conduit hspec transformers ];
|
||||
meta = {
|
||||
homepage = "http://www.yesodweb.com/";
|
||||
description = "Web application deployment manager, focusing on Haskell web frameworks";
|
||||
license = self.stdenv.lib.licenses.mit;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,26 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq
|
||||
, filemanip, filepath, hashable, intern, mtl, ocaml, parsec, syb
|
||||
, text, textFormat, transformers, unorderedContainers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "liquid-fixpoint";
|
||||
version = "0.2.1.0";
|
||||
sha256 = "11l9750ldxcb5jq34dl0iggpi9dh1zwjnlzgmwg4qvsgcq8cakdf";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
ansiTerminal attoparsec bifunctors cmdargs deepseq filemanip
|
||||
filepath hashable intern mtl parsec syb text textFormat
|
||||
transformers unorderedContainers
|
||||
];
|
||||
buildTools = [ ocaml ];
|
||||
meta = {
|
||||
homepage = "https://github.com/ucsd-progsys/liquid-fixpoint";
|
||||
description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,32 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, aeson, ansiTerminal, bifunctors, cmdargs, cpphs
|
||||
, dataDefault, deepseq, Diff, filemanip, filepath, fingertree
|
||||
, ghcPaths, hashable, hscolour, intern, liquidFixpoint, mtl
|
||||
, optparseApplicative, parsec, syb, tagged, tasty, tastyHunit
|
||||
, tastyRerun, text, time, unorderedContainers, vector
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "liquidhaskell";
|
||||
version = "0.2.1.0";
|
||||
sha256 = "172ki1pr096jc1azs6hq1p6czjr2gxb0zafmlg9bicn4nwp2h7vy";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
aeson ansiTerminal bifunctors cmdargs cpphs dataDefault deepseq
|
||||
Diff filemanip filepath fingertree ghcPaths hashable hscolour
|
||||
intern liquidFixpoint mtl parsec syb text time unorderedContainers
|
||||
vector
|
||||
];
|
||||
testDepends = [
|
||||
filepath optparseApplicative tagged tasty tastyHunit tastyRerun
|
||||
];
|
||||
doCheck = false;
|
||||
meta = {
|
||||
homepage = "http://goto.ucsd.edu/liquidhaskell";
|
||||
description = "Liquid Types for Haskell";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,19 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath, split, tar, text, time }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "packdeps";
|
||||
version = "0.4.0.3";
|
||||
sha256 = "08an9nwg448d3w4yds67l02mgikmjmn52pvva3i386fv4hfkabhp";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ Cabal filepath split tar text time ];
|
||||
meta = {
|
||||
homepage = "http://packdeps.haskellers.com/";
|
||||
description = "Check your cabal packages for lagging dependencies";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ bergey ];
|
||||
};
|
||||
})
|
||||
@@ -1,23 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath, haskellSrcExts, optparseApplicative
|
||||
, split
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "packunused";
|
||||
version = "0.1.1.3";
|
||||
sha256 = "1f8lc9lzqwyzdz1j8czdan04d4bj393xk1rxfhr39j4a56qskp1c";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
Cabal filepath haskellSrcExts optparseApplicative split
|
||||
];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
homepage = "https://github.com/hvr/packunused";
|
||||
description = "Tool for detecting redundant Cabal package dependencies";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,19 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, haskellSrcExts, HUnit, QuickCheck, transformers }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "pointfree";
|
||||
version = "1.0.4.8";
|
||||
sha256 = "0nb3mqp6zwnnq6fs27xhcqv4w8h6sr5k01hldkqnkgwz0yyy7ljy";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ haskellSrcExts transformers ];
|
||||
testDepends = [ haskellSrcExts HUnit QuickCheck transformers ];
|
||||
jailbreak = true;
|
||||
meta = {
|
||||
description = "Tool for refactoring expressions into pointfree form";
|
||||
license = "unknown";
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, haskellSrc, mtl, syb }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "pointful";
|
||||
version = "1.0.2";
|
||||
sha256 = "00xlxgdajkbi5d6gv88wdpwm16xdryshszz5qklryi0p65mmp99p";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ haskellSrc mtl syb ];
|
||||
meta = {
|
||||
homepage = "http://github.com/23Skidoo/pointful";
|
||||
description = "Pointful refactoring tool";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, aeson, attoparsec, filepath, text, unorderedContainers
|
||||
, vector
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "profiteur";
|
||||
version = "0.1.2.1";
|
||||
sha256 = "1108hhh2ivhs85jkga4wps2yscgjnp211sw5w45j4wp9dgpz2hak";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
aeson attoparsec filepath text unorderedContainers vector
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://github.com/jaspervdj/profiteur";
|
||||
description = "Treemap visualiser for GHC prof files";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
broken = true;
|
||||
};
|
||||
})
|
||||
@@ -1,21 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cmdargs, parallelIo, shelly, split, systemFilepath, text
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "rehoo";
|
||||
version = "0.3.1";
|
||||
sha256 = "0pwmz1q2866yj8hxbvha4v1smhppkd3jsrrhbhmbxw137l54ijgf";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
cmdargs parallelIo shelly split systemFilepath text
|
||||
];
|
||||
meta = {
|
||||
homepage = "https://github.com/jwiegley/rehoo";
|
||||
description = "Rebuild default.hoo from many .hoo files in the current directory";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,22 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, bytestringLexing, cairo, colour, HUnit, mtl, strptime
|
||||
, time, vcsRevision
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "splot";
|
||||
version = "0.3.12";
|
||||
sha256 = "0xk5p2ikrzrmhvl69cl36sskcqgfnhxbbdlyp7bzl5pny0l0h9in";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
bytestringLexing cairo colour HUnit mtl strptime time vcsRevision
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/haskellwiki/Splot";
|
||||
description = "A tool for visualizing the lifecycle of many concurrent multi-staged processes";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, binary, cairo, deepseq, filepath, ghcEvents, glib, gtk
|
||||
, mtl, pango, text, time
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "threadscope";
|
||||
version = "0.2.6";
|
||||
sha256 = "0pycxvf3gjx86yp948anczxidhi6ra95szkqyvvlfpriay7klfya";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
binary cairo deepseq filepath ghcEvents glib gtk mtl pango text
|
||||
time
|
||||
];
|
||||
configureFlags = "--ghc-options=-rtsopts";
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/haskellwiki/ThreadScope";
|
||||
description = "A graphical tool for profiling parallel Haskell programs";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,24 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, bytestringLexing, cairo, Chart, ChartCairo, colour
|
||||
, dataDefault, lens, regexTdfa, strptime, time, transformers
|
||||
, vcsRevision
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "timeplot";
|
||||
version = "1.0.27";
|
||||
sha256 = "072bxa0pfxyia4xvj0w0h8v3yfk05bbq5j905sj6jf9apjr9h558";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
bytestringLexing cairo Chart ChartCairo colour dataDefault lens
|
||||
regexTdfa strptime time transformers vcsRevision
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://haskell.org/haskellwiki/Timeplot";
|
||||
description = "A tool for visualizing time series from log files";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, cmdargs, filepath, ioStorage }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "una";
|
||||
version = "2.1.0";
|
||||
sha256 = "0gpycwd0dgnw7cdicpn19wv1xb4jq3j9dfzry2ilv85h02zkwfvh";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ cmdargs filepath ioStorage ];
|
||||
meta = {
|
||||
homepage = "https://github.com/jwiegley/una";
|
||||
description = "Universal un-archiver utility";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath, haskellSrcExts, mtl, uulib }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "uuagc-bootstrap";
|
||||
version = "0.9.40.2";
|
||||
sha256 = "0zsb8pz2zx7y8sjp392hpdk30dzzmppjizcnlgd1wvq2csacnfxq";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath haskellSrcExts mtl uulib ];
|
||||
meta = {
|
||||
homepage = "http://www.cs.uu.nl/wiki/HUT/WebHome";
|
||||
description = "Attribute Grammar System of Universiteit Utrecht";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,16 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, Cabal, filepath, mtl, uulib }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "uuagc-cabal";
|
||||
version = "1.0.6.0";
|
||||
sha256 = "02xqj4vz7hir0llxl8n517qv22jlmilknhqzx4l55gccffg7zj6w";
|
||||
buildDepends = [ Cabal filepath mtl uulib ];
|
||||
meta = {
|
||||
homepage = "http://www.cs.uu.nl/wiki/HUT/WebHome";
|
||||
description = "Cabal plugin for the Universiteit Utrecht Attribute Grammar System";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, filepath, haskellSrcExts, mtl, uuagcCabal, uulib }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "uuagc";
|
||||
version = "0.9.51";
|
||||
sha256 = "07nymg525x41y8pl94d0n990h1yz5km8v0fasiggqv94sd04j22w";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ filepath haskellSrcExts mtl uuagcCabal uulib ];
|
||||
meta = {
|
||||
homepage = "http://www.cs.uu.nl/wiki/HUT/WebHome";
|
||||
description = "Attribute Grammar System of Universiteit Utrecht";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
41
pkgs/development/tools/java/cfr/default.nix
Normal file
41
pkgs/development/tools/java/cfr/default.nix
Normal file
@@ -0,0 +1,41 @@
|
||||
{ stdenv, fetchurl, jre }:
|
||||
|
||||
let version = "0_101"; in
|
||||
stdenv.mkDerivation rec {
|
||||
name = "cfr-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
sha256 = "0zwl3whypdm2qrw3hwaqjnifkb4wcdn8fx9scrjkli54bhr6dqch";
|
||||
url = "http://www.benf.org/other/cfr/cfr_${version}.jar";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
inherit version;
|
||||
description = "Another java decompiler";
|
||||
longDescription = ''
|
||||
CFR will decompile modern Java features - Java 8 lambdas (pre and post
|
||||
Java beta 103 changes), Java 7 String switches etc, but is written
|
||||
entirely in Java 6.
|
||||
'';
|
||||
homepage = http://www.benf.org/other/cfr/;
|
||||
license = with licenses; mit;
|
||||
platforms = with platforms; all;
|
||||
maintainers = with maintainers; [ nckx ];
|
||||
};
|
||||
|
||||
buildInputs = [ jre ];
|
||||
|
||||
phases = [ "installPhase" ];
|
||||
|
||||
installPhase = ''
|
||||
jar=$out/share/cfr/cfr_${version}.jar
|
||||
|
||||
install -Dm644 ${src} $jar
|
||||
|
||||
cat << EOF > cfr
|
||||
#!${stdenv.shell}
|
||||
exec ${jre}/bin/java -jar $jar "\''${@}"
|
||||
EOF
|
||||
install -Dm755 cfr $out/bin/cfr
|
||||
'';
|
||||
}
|
||||
@@ -1,25 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, json, mtl, parsec, QuickCheck, regexCompat, transformers
|
||||
}:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "ShellCheck";
|
||||
version = "0.3.5";
|
||||
sha256 = "0x4rvhpzrjkn9a9fsmp9iwv9g21hkrd8fgq05iy4wgv8nfhgv2cj";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [
|
||||
json mtl parsec QuickCheck regexCompat transformers
|
||||
];
|
||||
testDepends = [
|
||||
json mtl parsec QuickCheck regexCompat transformers
|
||||
];
|
||||
meta = {
|
||||
homepage = "http://www.shellcheck.net/";
|
||||
description = "Shell script analysis tool";
|
||||
license = self.stdenv.lib.licenses.agpl3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
maintainers = with self.stdenv.lib.maintainers; [ aycanirican ];
|
||||
};
|
||||
})
|
||||
@@ -12,7 +12,7 @@ stdenv.mkDerivation {
|
||||
sha256 = "1b0f4wm1qmgcswmixv9mwbp86hbdqxk754hml8cjv5vajvqwdpzv";
|
||||
};
|
||||
|
||||
sourceRoot = if (stdenv.cc.cc.isClang or false)
|
||||
sourceRoot = if stdenv.cc.isClang
|
||||
then "astyle/build/clang"
|
||||
else "astyle/build/gcc";
|
||||
|
||||
|
||||
@@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
|
||||
dontPatchShebangs = true;
|
||||
|
||||
meta = {
|
||||
branch = "1.14";
|
||||
branch = "1.15";
|
||||
homepage = "http://www.gnu.org/software/automake/";
|
||||
description = "GNU standard-compliant makefile generator";
|
||||
license = stdenv.lib.licenses.gpl2Plus;
|
||||
|
||||
@@ -1,15 +1,23 @@
|
||||
{stdenv, fetchurl, runCommand, gcc, zlib}:
|
||||
{ stdenv, fetchurl, runCommand, gcc, perl, zlib }:
|
||||
|
||||
let
|
||||
# TODO: find out if there's harm in just using 'rec' instead.
|
||||
name = "ccache-${version}";
|
||||
version = "3.2.2";
|
||||
sha256 = "1jm0qb3h5sypllaiyj81zp6m009vm50hzjnx994ril94kxlrj3ag";
|
||||
doCheck = true;
|
||||
|
||||
ccache =
|
||||
stdenv.mkDerivation {
|
||||
name = "ccache-3.2.1";
|
||||
inherit name doCheck;
|
||||
src = fetchurl {
|
||||
url = mirror://samba/ccache/ccache-3.2.1.tar.xz;
|
||||
sha256 = "17dxb0adha2bqzb2r8rcc3kl9mk7y6vrvlh181liivrc3m7g6al7";
|
||||
inherit sha256;
|
||||
url = "mirror://samba/ccache/${name}.tar.xz";
|
||||
};
|
||||
|
||||
buildInputs = [ zlib ];
|
||||
# The test dependency on perl should be gone in the next release:
|
||||
buildInputs = [ zlib ]
|
||||
++ stdenv.lib.optionals doCheck [ perl ];
|
||||
|
||||
passthru = {
|
||||
# A derivation that provides gcc and g++ commands, but that
|
||||
@@ -37,8 +45,10 @@ stdenv.mkDerivation {
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
inherit version;
|
||||
description = "Compiler cache for fast recompilation of C/C++ code";
|
||||
homepage = http://ccache.samba.org/;
|
||||
downloadPage = https://ccache.samba.org/download.html;
|
||||
license = with licenses; gpl3Plus;
|
||||
maintainers = with maintainers; [ nckx ];
|
||||
};
|
||||
|
||||
@@ -12,7 +12,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
meta = {
|
||||
homepage = http://sourceforge.net/projects/checkbaskisms/;
|
||||
description = "Performs basic checks on shell scripts for the presence of non portable syntax";
|
||||
description = "Check shell scripts for non-portable syntax";
|
||||
license = stdenv.lib.licenses.gpl2;
|
||||
};
|
||||
|
||||
|
||||
@@ -3,11 +3,11 @@ let
|
||||
s = # Generated upstream information
|
||||
rec {
|
||||
baseName="cl-launch";
|
||||
version="4.1.2";
|
||||
version="4.1.3.1";
|
||||
name="${baseName}-${version}";
|
||||
hash="13fgcvg71s1yp3r7jf1cs3kkpfw0pwykgmj7zryh24mw2269rx90";
|
||||
url="http://common-lisp.net/project/xcvb/cl-launch/cl-launch-4.1.2.tar.gz";
|
||||
sha256="13fgcvg71s1yp3r7jf1cs3kkpfw0pwykgmj7zryh24mw2269rx90";
|
||||
hash="0l5iwffrzmaxbpfh2h5y8lz6yap3q8xi14z080lhl193p8f3rk0z";
|
||||
url="http://common-lisp.net/project/xcvb/cl-launch/cl-launch-4.1.3.1.tar.gz";
|
||||
sha256="0l5iwffrzmaxbpfh2h5y8lz6yap3q8xi14z080lhl193p8f3rk0z";
|
||||
};
|
||||
buildInputs = [
|
||||
];
|
||||
@@ -24,6 +24,10 @@ stdenv.mkDerivation {
|
||||
mkdir -p "$out/bin"
|
||||
'';
|
||||
|
||||
preBuild = ''
|
||||
sed -e 's/\t\t@/\t\t/g' -i Makefile
|
||||
'';
|
||||
|
||||
meta = {
|
||||
inherit (s) version;
|
||||
description = ''Common Lisp launcher script'';
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, polyparse }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "cpphs";
|
||||
version = "1.18.6";
|
||||
sha256 = "0ds712zabigswf3cljzh7f2ys4rl1fj2cf76lbw856adm8514gxc";
|
||||
isLibrary = true;
|
||||
isExecutable = true;
|
||||
buildDepends = [ polyparse ];
|
||||
meta = {
|
||||
homepage = "http://projects.haskell.org/cpphs/";
|
||||
description = "A liberalised re-implementation of cpp, the C pre-processor";
|
||||
license = "LGPL";
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,27 +1,22 @@
|
||||
{ stdenv, fetchsvn, automake, autoconf}:
|
||||
{ stdenv, fetchsvn, autoreconfHook }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "ctags-${revision}";
|
||||
revision = "804";
|
||||
revision = "816";
|
||||
|
||||
src = fetchsvn {
|
||||
url = "http://ctags.svn.sourceforge.net/svnroot/ctags/trunk";
|
||||
url = "https://ctags.svn.sourceforge.net/svnroot/ctags/trunk";
|
||||
rev = revision;
|
||||
sha256 = "16gln1mah2jqp32ki1z0187dwkbjx1xcnmyiardcq6c9w3p4qwcr";
|
||||
sha256 = "0jmbkrmscbl64j71qffcc39x005jrmphx8kirs1g2ws44wil39hf";
|
||||
};
|
||||
|
||||
buildInputs = [ automake autoconf ];
|
||||
|
||||
preConfigure = "autoreconf -i";
|
||||
nativeBuildInputs = [ autoreconfHook ];
|
||||
|
||||
# don't use $T(E)MP which is set to the build directory
|
||||
configureFlags="--enable-tmpdir=/tmp";
|
||||
configureFlags= [ "--enable-tmpdir=/tmp" ];
|
||||
|
||||
meta = {
|
||||
homepage = "http://ctags.sourceforge.net/";
|
||||
meta = with stdenv.lib; {
|
||||
description = "A tool for fast source code browsing (exuberant ctags)";
|
||||
license = stdenv.lib.licenses.gpl2Plus;
|
||||
|
||||
longDescription = ''
|
||||
Ctags generates an index (or tag) file of language objects found
|
||||
in source files that allows these items to be quickly and easily
|
||||
@@ -30,9 +25,10 @@ stdenv.mkDerivation rec {
|
||||
alternatively, the index entry created for that object). Many
|
||||
programming languages are supported.
|
||||
'';
|
||||
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = [ stdenv.lib.maintainers.simons ];
|
||||
homepage = http://ctags.sourceforge.net/;
|
||||
license = licenses.gpl2Plus;
|
||||
maintainers = with maintainers; [ simons ];
|
||||
platforms = platforms.unix;
|
||||
};
|
||||
|
||||
}
|
||||
|
||||
@@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
|
||||
|
||||
buildInputs = [
|
||||
pkgconfig libxml2 itstool intltool glib gtk3 pep8 python
|
||||
gnome3.gnome_icon_theme gnome3.gnome_icon_theme_symbolic
|
||||
gnome3.defaultIconTheme
|
||||
makeWrapper pygobject3 libwnck3
|
||||
];
|
||||
|
||||
|
||||
@@ -32,7 +32,7 @@ stdenv.mkDerivation rec {
|
||||
--prefix PATH ":" "${expect}/bin"
|
||||
'';
|
||||
|
||||
meta = {
|
||||
meta = with stdenv.lib; {
|
||||
description = "Framework for testing other programs";
|
||||
|
||||
longDescription = ''
|
||||
@@ -47,9 +47,9 @@ stdenv.mkDerivation rec {
|
||||
'';
|
||||
|
||||
homepage = http://www.gnu.org/software/dejagnu/;
|
||||
license = stdenv.lib.licenses.gpl2Plus;
|
||||
license = licenses.gpl2Plus;
|
||||
|
||||
platforms = stdenv.lib.platforms.linux;
|
||||
maintainers = [ ];
|
||||
platforms = platforms.linux;
|
||||
maintainers = with maintainers; [ wkennington ];
|
||||
};
|
||||
}
|
||||
|
||||
@@ -3,7 +3,7 @@
|
||||
, autoconf
|
||||
, automake
|
||||
, findutils # for xargs
|
||||
, gettext_0_19
|
||||
, gettext
|
||||
, libtool
|
||||
, makeWrapper
|
||||
, texinfo
|
||||
@@ -24,7 +24,7 @@ in stdenv.mkDerivation {
|
||||
sha256 = "0flq8baqzifhmf61zyiipdipvgy4h0kl551clxrhwa8gvzf75im4";
|
||||
};
|
||||
|
||||
buildInputs = [ autoconf automake gettext_0_19 libtool makeWrapper texinfo ];
|
||||
buildInputs = [ autoconf automake gettext libtool makeWrapper texinfo ];
|
||||
|
||||
preConfigure = ''
|
||||
./autogen.sh
|
||||
|
||||
@@ -1,5 +1,6 @@
|
||||
{ fetchurl, stdenv, libtool, ncurses, ctags, sqlite
|
||||
, pythonPackages, makeWrapper }:
|
||||
{ fetchurl, stdenv, libtool, makeWrapper
|
||||
, coreutils, ctags, ncurses, pythonPackages, sqlite, pkgconfig
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "global-6.4";
|
||||
@@ -9,16 +10,20 @@ stdenv.mkDerivation rec {
|
||||
sha256 = "13i4zwx6gaibc4j79wd0hgxysw8ibxz9c018zxhydnxlyadzcnri";
|
||||
};
|
||||
|
||||
buildInputs = [ libtool ncurses makeWrapper ];
|
||||
nativeBuildInputs = [ libtool makeWrapper ];
|
||||
|
||||
buildInputs = [ ncurses ];
|
||||
|
||||
propagatedBuildInputs = [ pythonPackages.pygments ];
|
||||
|
||||
configurePhase =
|
||||
'' ./configure --prefix="$out" --disable-static ''
|
||||
+ ''--with-posix-sort=$(type -p sort) ''
|
||||
+ ''--with-ltdl-include=${libtool}/include --with-ltdl-lib=${libtool}/lib ''
|
||||
+ ''--with-ncurses=${ncurses} ''
|
||||
+ ''--with-sqlite3=${sqlite} ''
|
||||
+ ''--with-exuberant-ctags=${ctags}/bin/ctags'';
|
||||
configureFlags = [
|
||||
"--with-ltdl-include=${libtool}/include"
|
||||
"--with-ltdl-lib=${libtool}/lib"
|
||||
"--with-ncurses=${ncurses}"
|
||||
"--with-sqlite3=${sqlite}"
|
||||
"--with-exuberant-ctags=${ctags}/bin/ctags"
|
||||
"--with-posix-sort=${coreutils}/bin/sort"
|
||||
];
|
||||
|
||||
doCheck = true;
|
||||
|
||||
@@ -34,7 +39,6 @@ stdenv.mkDerivation rec {
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
description = "Source code tag system";
|
||||
|
||||
longDescription = ''
|
||||
GNU GLOBAL is a source code tagging system that works the same way
|
||||
across diverse environments (Emacs, vi, less, Bash, web browser, etc).
|
||||
@@ -45,11 +49,8 @@ stdenv.mkDerivation rec {
|
||||
independence of any editor. It runs on a UNIX (POSIX) compatible
|
||||
operating system like GNU and BSD.
|
||||
'';
|
||||
|
||||
license = licenses.gpl3Plus;
|
||||
|
||||
homepage = http://www.gnu.org/software/global/;
|
||||
|
||||
license = licenses.gpl3Plus;
|
||||
maintainers = with maintainers; [ pSub ];
|
||||
platforms = platforms.unix;
|
||||
};
|
||||
|
||||
@@ -0,0 +1,37 @@
|
||||
From 233808a58db1f62d773b03f9dad599924170aca6 Mon Sep 17 00:00:00 2001
|
||||
From: Chris Wilson <chris@chris-wilson.co.uk>
|
||||
Date: Wed, 18 Mar 2015 08:36:37 +0000
|
||||
Subject: lib/batch: Trivial compile fix for 32-bit builds
|
||||
|
||||
intel_batchbuffer.c: In function 'fill_object':
|
||||
intel_batchbuffer.c:589:20: error: cast from pointer to integer of different size [-Werror=pointer-to-int-cast]
|
||||
obj->relocs_ptr = (uint64_t)relocs;
|
||||
^
|
||||
intel_batchbuffer.c: In function 'exec_blit':
|
||||
intel_batchbuffer.c:598:21: error: cast from pointer to integer of different size [-Werror=pointer-to-int-cast]
|
||||
exec.buffers_ptr = (uint64_t)objs;
|
||||
|
||||
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
|
||||
|
||||
diff --git a/lib/intel_batchbuffer.c b/lib/intel_batchbuffer.c
|
||||
index 666c323..c1c27a6 100644
|
||||
--- a/lib/intel_batchbuffer.c
|
||||
+++ b/lib/intel_batchbuffer.c
|
||||
@@ -548,7 +548,7 @@ fill_object(struct drm_i915_gem_exec_object2 *obj, uint32_t gem_handle,
|
||||
memset(obj, 0, sizeof(*obj));
|
||||
obj->handle = gem_handle;
|
||||
obj->relocation_count = count;
|
||||
- obj->relocs_ptr = (uint64_t)relocs;
|
||||
+ obj->relocs_ptr = (uintptr_t)relocs;
|
||||
}
|
||||
|
||||
static void exec_blit(int fd,
|
||||
@@ -557,7 +557,7 @@ static void exec_blit(int fd,
|
||||
{
|
||||
struct drm_i915_gem_execbuffer2 exec;
|
||||
|
||||
- exec.buffers_ptr = (uint64_t)objs;
|
||||
+ exec.buffers_ptr = (uintptr_t)objs;
|
||||
exec.buffer_count = count;
|
||||
exec.batch_start_offset = 0;
|
||||
exec.batch_len = batch_len * 4;
|
||||
@@ -10,6 +10,8 @@ stdenv.mkDerivation rec {
|
||||
|
||||
buildInputs = [ pkgconfig libdrm libpciaccess cairo dri2proto udev libX11 libXext libXv libXrandr glib bison ];
|
||||
|
||||
patches = [ ./compile-fix.patch ];
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
homepage = https://01.org/linuxgraphics/;
|
||||
description = "Tools for development and testing of the Intel DRM driver";
|
||||
|
||||
@@ -1,33 +1,21 @@
|
||||
{ stdenv, fetchurl, perl, perlXMLParser, gettext }:
|
||||
let
|
||||
s = # Generated upstream information
|
||||
rec {
|
||||
baseName="intltool";
|
||||
version="0.51.0";
|
||||
name="${baseName}-${version}";
|
||||
hash="1karx4sb7bnm2j67q0q74hspkfn6lqprpy5r99vkn5bb36a4viv7";
|
||||
url="https://launchpad.net/intltool/trunk/0.51.0/+download/intltool-0.51.0.tar.gz";
|
||||
sha256="1karx4sb7bnm2j67q0q74hspkfn6lqprpy5r99vkn5bb36a4viv7";
|
||||
};
|
||||
propagatedBuildInputs = [perl perlXMLParser];
|
||||
buildInputs = [];
|
||||
in
|
||||
stdenv.mkDerivation {
|
||||
inherit (s) name version;
|
||||
{ stdenv, fetchurl, gettext, perl, perlXMLParser }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "intltool-${version}";
|
||||
version = "0.51.0";
|
||||
|
||||
src = fetchurl {
|
||||
inherit (s) url sha256;
|
||||
url = "https://launchpad.net/intltool/trunk/${version}/+download/${name}.tar.gz";
|
||||
sha256 = "1karx4sb7bnm2j67q0q74hspkfn6lqprpy5r99vkn5bb36a4viv7";
|
||||
};
|
||||
inherit buildInputs;
|
||||
|
||||
# not needed by intltool itself but (probably) needed for its usage
|
||||
propagatedBuildInputs = propagatedBuildInputs ++ [ gettext ];
|
||||
propagatedBuildInputs = [ gettext perl perlXMLParser ];
|
||||
|
||||
meta = {
|
||||
meta = with stdenv.lib; {
|
||||
description = "Translation helper tool";
|
||||
homepage = "http://launchpad.net/intltool/";
|
||||
license = stdenv.lib.licenses.gpl2Plus;
|
||||
maintainers = [stdenv.lib.maintainers.raskin];
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
inherit (s) version;
|
||||
homepage = http://launchpad.net/intltool/;
|
||||
license = licenses.gpl2Plus;
|
||||
maintainers = with maintainers; [ raskin ];
|
||||
platforms = platforms.unix;
|
||||
};
|
||||
}
|
||||
|
||||
@@ -1,2 +0,0 @@
|
||||
attribute_name intltool
|
||||
url https://launchpad.net/intltool/+download
|
||||
@@ -1,11 +1,11 @@
|
||||
{ stdenv, fetchurl, m4, perl, help2man }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "libtool-2.4.5";
|
||||
name = "libtool-2.4.6";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://gnu/libtool/${name}.tar.gz";
|
||||
sha256 = "11v9gl8ancavx7179n6zk4k8hwa0zl4wz4w9z3mffk71gnfb972h";
|
||||
sha256 = "1qq61k6lp1fp75xs398yzi6wvbx232l7xbyn3p13cnh27mflvgg3";
|
||||
};
|
||||
|
||||
propagatedNativeBuildInputs = [ m4 ];
|
||||
|
||||
@@ -3,11 +3,11 @@ let
|
||||
s = # Generated upstream information
|
||||
rec {
|
||||
baseName="luarocks";
|
||||
version="2.2.1";
|
||||
version="2.2.2";
|
||||
name="${baseName}-${version}";
|
||||
hash="0mbwbx1qsarwab2apq424gw28px9h2d89v1fp9vxrrpi6dz8lgvi";
|
||||
url="http://luarocks.org/releases/luarocks-2.2.1.tar.gz";
|
||||
sha256="0mbwbx1qsarwab2apq424gw28px9h2d89v1fp9vxrrpi6dz8lgvi";
|
||||
hash="08phl5syc7q6bh0rs9558s74g8xq05hgn7gbia4hvwvkd1q2f12g";
|
||||
url="http://luarocks.org/releases/luarocks-2.2.2.tar.gz";
|
||||
sha256="08phl5syc7q6bh0rs9558s74g8xq05hgn7gbia4hvwvkd1q2f12g";
|
||||
};
|
||||
buildInputs = [
|
||||
lua curl makeWrapper which
|
||||
|
||||
@@ -14,7 +14,6 @@ stdenv.mkDerivation rec {
|
||||
configurePhase = ''
|
||||
export ac_cv_lib_curses_initscr=yes
|
||||
export ac_cv_lib_pthread_pthread_mutex_init=yes
|
||||
sed -i "s@-lcurses@-lncurses@g" ./configure
|
||||
sed -i "s@pcap/\(.*\).pcap@$out/share/pcap/\1.pcap@g" src/scenario.cpp
|
||||
./configure --prefix=$out --with-pcap
|
||||
'';
|
||||
|
||||
@@ -1,13 +1,14 @@
|
||||
{stdenv, fetchurl, mysql, libxslt, zlib, autoreconfHook }:
|
||||
{ stdenv, fetchgit, libmysql, libxslt, zlib, autoreconfHook }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "sysbench-0.4.12";
|
||||
name = "sysbench-2015-04-22";
|
||||
|
||||
buildInputs = [ autoreconfHook mysql.lib libxslt zlib ];
|
||||
buildInputs = [ autoreconfHook libmysql libxslt zlib ];
|
||||
|
||||
src = fetchurl {
|
||||
url = mirror://sourceforge/sysbench/sysbench-0.4.12.tar.gz;
|
||||
sha256 = "17pa4cw7wxvlb4mba943lfs3b3jdi64mlnaf4n8jq09y35j79yl3";
|
||||
src = fetchgit {
|
||||
url = git://github.com/akopytov/sysbench.git;
|
||||
rev = "2b3042883090c9cf8cb9be2b24d3590cdcee112f";
|
||||
sha256 = "0di6jc9ybnqk3pqg45lks2c9003l74xz4g619haw36fvbi28aql6";
|
||||
};
|
||||
|
||||
preAutoreconf = ''
|
||||
|
||||
@@ -1,11 +1,12 @@
|
||||
{ stdenv, fetchurl }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "uncrustify";
|
||||
name = "${product}-${version}";
|
||||
product = "uncrustify";
|
||||
version = "0.61";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/uncrustify/${name}-${version}.tar.gz";
|
||||
url = "mirror://sourceforge/uncrustify/${product}-${version}.tar.gz";
|
||||
sha256 = "1df0e5a2716e256f0a4993db12f23d10195b3030326fdf2e07f8e6421e172df9";
|
||||
};
|
||||
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
{ stdenv, fetchurl, perl, icmake }:
|
||||
{ stdenv, fetchurl, perl, icmake, utillinux }:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
name = "yodl-${version}";
|
||||
@@ -13,9 +13,10 @@ stdenv.mkDerivation rec {
|
||||
|
||||
preConfigure = ''
|
||||
patchShebangs scripts/.
|
||||
sed -i 's;/usr;;g' INSTALL.im
|
||||
substituteInPlace build --replace /usr/bin/icmake ${icmake}/bin/icmake
|
||||
substituteInPlace INSTALL.im --replace /usr $out
|
||||
patchShebangs ./build
|
||||
substituteInPlace macros/rawmacros/startdoc.pl --replace /usr/bin/perl ${perl}/bin/perl
|
||||
substituteInPlace scripts/yodl2whatever.in --replace getopt ${utillinux}/bin/getopt
|
||||
'';
|
||||
|
||||
buildPhase = ''
|
||||
@@ -25,9 +26,9 @@ stdenv.mkDerivation rec {
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
./build install programs $out
|
||||
./build install macros $out
|
||||
./build install man $out
|
||||
./build install programs
|
||||
./build install macros
|
||||
./build install man
|
||||
'';
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
||||
@@ -37,7 +37,7 @@ stdenv.mkDerivation {
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "CamlIDL is a stub code generator and COM binding for Objective Caml";
|
||||
description = "A stub code generator and COM binding for Objective Caml";
|
||||
homepage = "${webpage}";
|
||||
license = "LGPL";
|
||||
maintainers = [ stdenv.lib.maintainers.roconnor ];
|
||||
|
||||
@@ -37,13 +37,13 @@ let
|
||||
sha256 = "3fd4dca045d82332da847e65e981d8b504883571d299a3f7e71447d46bc65f73";
|
||||
};
|
||||
opam = fetchurl {
|
||||
url = "https://github.com/ocaml/opam/archive/1.2.1.zip";
|
||||
sha256 = "1mvsy89l5g9nvwmmls5jf46anh6gk8dk8a1dn42rmnihnb0zjcs4";
|
||||
url = "https://github.com/ocaml/opam/archive/1.2.2.zip";
|
||||
sha256 = "1fxd5axlh9f3jb47y9paa9ld78qwcyp7pv3m60k401ym1dps32jk";
|
||||
};
|
||||
};
|
||||
in stdenv.mkDerivation rec {
|
||||
name = "opam-${version}";
|
||||
version = "1.2.1";
|
||||
version = "1.2.2";
|
||||
|
||||
buildInputs = [ unzip curl ncurses ocaml ];
|
||||
|
||||
|
||||
@@ -1,18 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, happy }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "Ebnf2ps";
|
||||
version = "1.0.12";
|
||||
sha256 = "1rd0pxj2bfx06z1p0sy8kdhyfg1y51gn1bhr71j33czls6m9ry8c";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildTools = [ happy ];
|
||||
meta = {
|
||||
homepage = "https://github.com/FranklinChen/Ebnf2ps";
|
||||
description = "Peter's Syntax Diagram Drawing Tool";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,20 +0,0 @@
|
||||
{ cabal, perl }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "alex";
|
||||
version = "2.3.5";
|
||||
sha256 = "0lyjiq4lmii2syk6838ln32qvn8c0ljf1ypsggahy748k05x79if";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildTools = [ perl ];
|
||||
doCheck = false;
|
||||
patches = [ ./adapt-crazy-perl-regex-for-cpp-4.8.0.patch ];
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/alex/";
|
||||
description = "Alex is a tool for generating lexical analysers in Haskell";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
hydraPlatforms = self.stdenv.lib.platforms.none;
|
||||
maintainers = [ self.stdenv.lib.maintainers.andres ];
|
||||
};
|
||||
})
|
||||
@@ -1,19 +0,0 @@
|
||||
# This file was auto-generated by cabal2nix. Please do NOT edit manually!
|
||||
|
||||
{ cabal, happy, perl, QuickCheck }:
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "alex";
|
||||
version = "3.1.3";
|
||||
sha256 = "14hajxpqb6va5mclp2k682bgw9sbmd372vw41kq5aq815bkschcd";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ QuickCheck ];
|
||||
buildTools = [ happy perl ];
|
||||
meta = {
|
||||
homepage = "http://www.haskell.org/alex/";
|
||||
description = "Alex is a tool for generating lexical analysers in Haskell";
|
||||
license = self.stdenv.lib.licenses.bsd3;
|
||||
platforms = self.ghc.meta.platforms;
|
||||
};
|
||||
})
|
||||
@@ -1,12 +0,0 @@
|
||||
diff -ubr alex-2.3.5-orig/Setup.lhs alex-2.3.5/Setup.lhs
|
||||
--- alex-2.3.5-orig/Setup.lhs 2013-04-19 12:00:15.812606335 +0000
|
||||
+++ alex-2.3.5/Setup.lhs 2013-04-19 12:05:41.635450321 +0000
|
||||
@@ -25,7 +25,7 @@
|
||||
-- hack to turn cpp-style '# 27 "GenericTemplate.hs"' into
|
||||
-- '{-# LINE 27 "GenericTemplate.hs" #-}'.
|
||||
crazy_perl_regexp =
|
||||
- "s/^#\\s+(\\d+)\\s+(\"[^\"]*\")/{-# LINE \\1 \\2 #-}/g;s/\\$(Id:.*)\\$/\\1/g"
|
||||
+ "s/^#\\s+(\\d+)\\s+(\"[^\"]*\").*/{-# LINE \\1 \\2 #-}/g;s/\\$(Id:.*)\\$/\\1/g"
|
||||
|
||||
myPostBuild _ flags _ lbi = do
|
||||
let runProgram p = rawSystemProgramConf (buildVerbose flags) p (withPrograms lbi)
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user