diff options
author | Austin Seipp <aseipp@pobox.com> | 2018-08-15 15:46:37 -0500 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2018-08-15 20:44:05 -0500 |
commit | 9b64100add1222ca9c05b27bd2fbe5cf8d198d5b (patch) | |
tree | c4731a65a7afecfc95df05c33de96704037f9b85 /pkgs/applications | |
parent | 68cc845295c1f2093ee2451865b7b0f4e3368366 (diff) | |
download | nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar.gz nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar.bz2 nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar.lz nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar.xz nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.tar.zst nixlib-9b64100add1222ca9c05b27bd2fbe5cf8d198d5b.zip |
btor2tools: init at pre55_8c150b39
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/btor2tools/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/btor2tools/default.nix b/pkgs/applications/science/logic/btor2tools/default.nix new file mode 100644 index 000000000000..ed3d9e638121 --- /dev/null +++ b/pkgs/applications/science/logic/btor2tools/default.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + name = "btor2tools-${version}"; + version = "pre55_8c150b39"; + + src = fetchFromGitHub { + owner = "boolector"; + repo = "btor2tools"; + rev = "8c150b39cdbcdef4247344acf465d75ef642365d"; + sha256 = "1r5pid4x567nms02ajjrz3v0zj18k0fi5pansrmc2907rnx2acxx"; + }; + + configurePhase = "./configure.sh -shared"; + + installPhase = '' + mkdir -p $out $dev/include/btor2parser/ $lib/lib + + cp -vr bin $out + cp -v src/btor2parser/btor2parser.h $dev/include/btor2parser + cp -v build/libbtor2parser.* $lib/lib + ''; + + outputs = [ "out" "dev" "lib" ]; + + meta = with stdenv.lib; { + description = "Fast SAT solver"; + homepage = http://fmv.jku.at/lingeling/; + license = licenses.mit; + platforms = platforms.linux; + maintainers = with maintainers; [ thoughtpolice ]; + }; +} |