diff options
author | Austin Seipp <aseipp@pobox.com> | 2014-04-27 13:05:35 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-04-27 13:05:40 -0500 |
commit | da0c8f33efe1eb1ae9f47f5a3fdf6f4d2c461aa9 (patch) | |
tree | 0a02042d015fa027d0f767ad5081bc5a339118ec /pkgs/applications/science/logic | |
parent | d8f8f317269d74e7e201051e77e16f7533d1e4b6 (diff) |
nixpkgs: yices 2.2.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix new file mode 100644 index 0000000000000..5a1a4ef19922f --- /dev/null +++ b/pkgs/applications/science/logic/yices/default.nix @@ -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 ]; + }; +} |