diff options
| author | Will Dietz <w@wdtz.org> | 2016-10-26 09:47:50 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2016-10-26 12:59:34 -0500 |
| commit | 8584ec97edc281b69d82d86e030d3e669103f824 (patch) | |
| tree | 473828d8dad4f122e4954031790bd1f8b657ae88 /pkgs/applications/science | |
| parent | 1f8912155127dd78713e7a2464fd8d0bd0ae82ef (diff) | |
| download | nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar.gz nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar.bz2 nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar.lz nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar.xz nixlib-8584ec97edc281b69d82d86e030d3e669103f824.tar.zst nixlib-8584ec97edc281b69d82d86e030d3e669103f824.zip | |
yices: fix install target by using 'true' as ldconfig
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index d892a9abb2e2..a34b995eceaa 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -15,6 +15,8 @@ stdenv.mkDerivation rec { ]; buildInputs = [ gmp-static gperf autoreconfHook ]; + installPhase = ''make install LDCONFIG=true''; + meta = { description = "A high-performance theorem prover and SMT solver"; homepage = "http://yices.csl.sri.com"; |