BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

nixpkgs: yices 2.2.1

Browse source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2014-04-27 13:05:35 -05:00
parent d8f8f31726
commit da0c8f33ef
2 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

40
pkgs/applications/science/logic/yices/default.nix Normal file
View file

@ -0,0 +1,40 @@
{ stdenv, fetchurl }:
let
libPath = stdenv.lib.makeLibraryPath [ stdenv.gcc.libc ];
in
stdenv.mkDerivation rec {
name = "yices-${version}";
version = "2.2.1";
src =
if stdenv.system == "i686-linux"
then fetchurl {
url = "http://yices.csl.sri.com/cgi-bin/yices2-newdownload.cgi?file=yices-2.2.1-i686-pc-linux-gnu-static-gmp.tar.gz&accept=I+accept";
name = "yices-${version}-i686.tar.gz";
sha256 = "12jzk3kqlbqa5x6rl92cpzj7dch7gm7fnbj72wifvwgdj4zyhrra";
}
else fetchurl {
url = "http://yices.csl.sri.com/cgi-bin/yices2-newdownload.cgi?file=yices-2.2.1-x86_64-unknown-linux-gnu-static-gmp.tar.gz&accept=I+accept";
name = "yices-${version}-x86_64.tar.gz";
sha256 = "0fpmihf6ykcg4qbsimkamgcwp4sl1xyxmz7q28ily91rd905ijaj";
};
buildPhase = false;
installPhase = ''
mkdir -p $out/bin $out/lib $out/include
cd bin && mv * $out/bin && cd ..
cd lib && mv * $out/lib && cd ..
cd include && mv * $out/include && cd ..
patchelf --set-rpath ${libPath} $out/lib/libyices.so.${version}
'';
meta = {
description = "Yices is a high-performance theorem prover and SMT solver";
homepage = "http://yices.csl.sri.com";
license = stdenv.lib.licenses.unfreeRedistributable;
platforms = stdenv.lib.platforms.linux;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
};
}

2
pkgs/top-level/all-packages.nix
View file

@ -10356,6 +10356,8 @@ let
tptp = callPackage ../applications/science/logic/tptp {};
yices = callPackage ../applications/science/logic/yices {};
z3 = callPackage ../applications/science/logic/z3 {};
boolector = boolector15;