public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.ssreflect: add ncurses as a dependency

Browse Source 
This is needed in the Darwin pure environment, where ncurses is not
available within the sandbox.  The exact error was:

coqmktop -coqlib `coqtop -where` -o bin/ssrcoq.byte -I +threads src/ssrmatching.cmo src/ssreflect.cmo
ld: warning: directory not found for option '-L/nix/store/wlf8pb7gz5alzbhdxwayxx0x4as3rnw8-coq-8.5b2/lib/coq/kernel/byterun'
ld: library not found for -lncurses
This commit is contained in:
John Wiegley 2015-10-31 09:33:05 -07:00
parent 8c183349e5
commit 8f97ad7b3c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/ssreflect/generic.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, coq { stdenv, fetchurl, coq, ncurses
, graphviz, withDoc ? true , graphviz, withDoc ? true
, src, patches ? [] , src, patches ? []
}: }:
@ -10,7 +10,7 @@ stdenv.mkDerivation {
inherit src; inherit src;
nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ]; nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ];
buildInputs = [ coq.ocaml coq.camlp5 ]; buildInputs = [ coq.ocaml coq.camlp5 ncurses ];
propagatedBuildInputs = [ coq ]; propagatedBuildInputs = [ coq ];
enableParallelBuilding = true; enableParallelBuilding = true;