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

yices: use correct static gmp

Browse Source 
It still won't build due to trying to use /sbin/ldconfig,
but gmp-related things do seem OK.
This commit is contained in:
Vladimír Čunát 2015-10-28 11:48:50 +01:00
parent 40a973f962
commit fd1619cf60
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/science/logic/yices/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, gmp, gperf, autoreconfHook }: { stdenv, fetchurl, gmp-static, gperf, autoreconfHook }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "yices-${version}"; name = "yices-${version}";
@ -10,10 +10,10 @@ stdenv.mkDerivation rec {
sha256 = "1da70n0cah0dh3pk7fcrvjkszx9qmhc0csgl15jqa7bdh707k2zs"; sha256 = "1da70n0cah0dh3pk7fcrvjkszx9qmhc0csgl15jqa7bdh707k2zs";
}; };
configureFlags = [ "--with-static-gmp=${gmp.static}/lib/libgmp.a" configureFlags = [ "--with-static-gmp=${gmp-static.out}/lib/libgmp.a"
"--with-static-gmp-include-dir=${gmp.dev}/include" "--with-static-gmp-include-dir=${gmp-static.dev}/include"
]; ];
buildInputs = [ gmp gperf autoreconfHook ]; buildInputs = [ gmp-static gperf autoreconfHook ];
meta = { meta = {
description = "A high-performance theorem prover and SMT solver"; description = "A high-performance theorem prover and SMT solver";

4
pkgs/top-level/all-packages.nix
View File

@ -14474,7 +14474,9 @@ let
why3 = callPackage ../applications/science/logic/why3 {}; why3 = callPackage ../applications/science/logic/why3 {};
yices = callPackage ../applications/science/logic/yices {}; yices = callPackage ../applications/science/logic/yices {
gmp-static = gmp.override { withStatic = true; };
};
z3 = callPackage ../applications/science/logic/z3 {}; z3 = callPackage ../applications/science/logic/z3 {};
z3_opt = callPackage ../applications/science/logic/z3_opt {}; z3_opt = callPackage ../applications/science/logic/z3_opt {};