coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.

This commit is contained in:
Théo Zimmermann 2018-10-19 10:25:09 +02:00
parent fa12476755
commit 8c399bd6c1
No known key found for this signature in database
GPG Key ID: F1744A0942F536C7
15 changed files with 17 additions and 17 deletions

View File

@ -33,7 +33,7 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ];
propagatedBuildInputs = [ coq ssreflect ];
enableParallelBuilding = false;

View File

@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";

View File

@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ];
propagatedBuildInputs = [ coq ssreflect ];
enableParallelBuilding = false;

View File

@ -12,7 +12,7 @@ let mkContrib = repo: revs: param:
sha256 = "${param.sha256}";
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";

View File

@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
inherit (param) sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;

View File

@ -38,7 +38,7 @@ stdenv.mkDerivation rec {
inherit (param) rev sha256;
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ];
propagatedBuildInputs = [ coq ssreflect ];
enableParallelBuilding = false;

View File

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }:
{ stdenv, fetchFromGitHub, autoreconfHook, coq }:
let params = {
"8.8" = {
@ -34,8 +34,8 @@ stdenv.mkDerivation {
};
nativeBuildInputs = [ autoreconfHook ];
buildInputs = [ coq coq.camlp5 ]
++ (with ocamlPackages; [ ocaml findlib ocamlgraph ]);
buildInputs = [ coq ]
++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ocamlgraph ]);
preInstall = ''
mkdir -p $out/bin

View File

@ -35,7 +35,7 @@ stdenv.mkDerivation rec {
sha256 = "${param.sha256}";
};
buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib coq ];
preBuild = "coq_makefile -f _CoqProject -o Makefile";

View File

@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
sha256 = "0griqc675yylf9rvadlfsabz41qy5f5idya30p5rv6ysiakxya64";
};
buildInputs = [ coq.ocaml coq.camlp5 python27 ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 python27 ];
propagatedBuildInputs = [ coq ];
doCheck = false;

View File

@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
sha256 = "13fv150dcwnjrk00d7zj2c5x9jwmxgrq0ay440gkr730l8mvk3l3";
};
buildInputs = [ coq.ocaml coq.camlp5 bash which autoconf automake ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 bash which autoconf automake ];
propagatedBuildInputs = [ coq ];
buildPhase = ''

View File

@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
sha256 = "03y71c4qs6cmy3s2hjs05g7pcgk9sqma6flj15394yyxbvr9is1p";
};
buildInputs = [ coq.ocaml coq.camlp5 unzip ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 unzip ];
propagatedBuildInputs = [ coq ];
preBuild = "cd src";

View File

@ -9,7 +9,7 @@ stdenv.mkDerivation {
inherit src;
nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ];
buildInputs = [ coq.ocaml coq.findlib coq.camlp5 ncurses which ];
buildInputs = with coq.ocamlPackages; [ ocaml findlib camlp5 ncurses which ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;

View File

@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
license = stdenv.lib.licenses.mit;
};
buildInputs = [ coq.ocaml coq.camlp5 which coq lngen ott coq.findlib ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 which coq lngen ott findlib ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;

View File

@ -10,7 +10,7 @@ stdenv.mkDerivation rec {
sha256 = "1lcmdr0y2d7gzyvr8dal3pi7fibbd60bpi1l32fw89xiyrgqhsqy";
};
buildInputs = [ coq.ocaml coq.camlp5 unzip ];
buildInputs = with coq.ocamlPackages; [ ocaml camlp5 unzip ];
propagatedBuildInputs = [ coq ];
preBuild = "cd src";

View File

@ -9,7 +9,7 @@ stdenv.mkDerivation {
inherit src;
nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ];
buildInputs = [ coq.ocaml coq.findlib coq.camlp5 ncurses which ];
buildInputs = with coq.ocamlPackages; [ ocaml findlib camlp5 ncurses which ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;