diff options
author | Austin Seipp <aseipp@pobox.com> | 2015-06-14 21:27:14 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2015-06-18 11:37:51 -0500 |
commit | a0301e9ce2fd8e4b9973ab04ba7e054bafd31740 (patch) | |
tree | 1c0497a4ccb40e86e9043a27a066372696317023 /pkgs | |
parent | d691bf0d4f2dec6170f4961fcaafdef242b772c5 (diff) | |
download | nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar.gz nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar.bz2 nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar.lz nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar.xz nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.tar.zst nixlib-a0301e9ce2fd8e4b9973ab04ba7e054bafd31740.zip |
nixpkgs: saw-tools 0.1-20150609
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/saw-tools/default.nix | 61 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 63 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/saw-tools/default.nix b/pkgs/applications/science/logic/saw-tools/default.nix new file mode 100644 index 000000000000..3231e2a7b806 --- /dev/null +++ b/pkgs/applications/science/logic/saw-tools/default.nix @@ -0,0 +1,61 @@ +{ stdenv, fetchurl, gmp4, ncurses, zlib, makeWrapper, clang_35 }: + +let + libPath = stdenv.lib.makeLibraryPath + [ stdenv.cc.libc + stdenv.cc.cc + gmp4 + ncurses + zlib + ] + ":${stdenv.cc.cc}/lib64"; + + url = "https://github.com/GaloisInc/saw-script/releases/download"; + + saw-bin = + if stdenv.system == "i686-linux" + then fetchurl { + url = url + "/v0.1-dev/saw-0.1-dev-2015-06-09-CentOS6-32.tar.gz"; + sha256 = "0hfb3a749fvwn33jnj1bgpk7v4pbvjjjffhafck6s8yz2sknnq4w"; + } + else fetchurl { + url = url + "/v0.1-dev/saw-0.1-dev-2015-06-09-CentOS6-64.tar.gz"; + sha256 = "1yz56kr8s0jcrfk1i87x63ngxip2i1s123arydnqq8myjyfz8id9"; + }; +in +stdenv.mkDerivation rec { + name = "saw-tools-${version}"; + version = "0.1-20150609"; + + src = saw-bin; + + installPhase = '' + mkdir -p $out/lib $out/share + + mv bin $out/bin + mv doc $out/share + + # Hack around lack of libtinfo in NixOS + ln -s ${ncurses}/lib/libncursesw.so.5 $out/lib/libtinfo.so.5 + ln -s ${stdenv.cc.libc}/lib/libpthread.so.0 $out/lib/libpthread.so.0 + + # Add a clang symlink for easy building with a suitable compiler. + ln -s ${clang_35}/bin/clang $out/bin/saw-clang + ''; + + fixupPhase = '' + for x in bin/bcdump bin/extcore-info bin/jss bin/llvm-disasm bin/lss bin/saw; do + patchelf --interpreter "$(cat $NIX_CC/nix-support/dynamic-linker)" \ + --set-rpath "$out/lib:${libPath}" $out/$x; + done + ''; + + phases = "unpackPhase installPhase fixupPhase"; + + meta = { + description = "Tools for software verification and analysis"; + homepage = "https://saw.galois.com"; + license = stdenv.lib.licenses.unfreeRedistributable; + platforms = stdenv.lib.platforms.linux; + maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a91cb010a399..fd1633ebe739 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14169,6 +14169,8 @@ let satallax = callPackage ../applications/science/logic/satallax {}; + saw-tools = callPackage ../applications/science/logic/saw-tools {}; + spass = callPackage ../applications/science/logic/spass {}; tptp = callPackage ../applications/science/logic/tptp {}; |