zarith: propagate build input gmp

This commit is contained in:
Vincent Laporte 2014-11-07 09:50:39 +00:00
parent 8baab59b98
commit fbbd88017f
3 changed files with 6 additions and 5 deletions

View File

@ -1,4 +1,4 @@
{ fetchurl, stdenv, ocaml, ocamlPackages, gmp }:
{ fetchurl, stdenv, ocaml, ocamlPackages }:
stdenv.mkDerivation rec {
name = "alt-ergo-${version}";
@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
};
buildInputs = with ocamlPackages;
[ ocaml findlib ocamlgraph zarith lablgtk gmp ];
[ ocaml findlib ocamlgraph zarith lablgtk ];
meta = {
description = "High-performance theorem prover and SMT solver";

View File

@ -15,7 +15,8 @@ stdenv.mkDerivation rec {
sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll";
};
buildInputs = [ ocaml findlib pkgconfig gmp perl ];
buildInputs = [ ocaml findlib pkgconfig perl ];
propagatedBuildInputs = [ gmp ];
patchPhase = ''
substituteInPlace ./z_pp.pl --replace '/usr/bin/perl' '${perl}/bin/perl'

View File

@ -1,5 +1,5 @@
{ stdenv, fetchurl, ncurses, ocamlPackages, graphviz
, ltl2ba, coq, alt-ergo, gmp, why3 }:
, ltl2ba, coq, alt-ergo, why3 }:
stdenv.mkDerivation rec {
name = "frama-c-${version}";
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
};
buildInputs = with ocamlPackages; [
ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph gmp
ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph
lablgtk coq graphviz zarith why3 zarith
];