diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/verit/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/verit/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/verit/default.nix b/nixpkgs/pkgs/applications/science/logic/verit/default.nix new file mode 100644 index 000000000000..ca3673d7bf97 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/verit/default.nix @@ -0,0 +1,31 @@ +{ stdenv, fetchurl, autoreconfHook, gmp, flex, bison }: + +stdenv.mkDerivation rec { + name = "veriT-${version}"; + version = "2016"; + + src = fetchurl { + url = "http://www.verit-solver.org/distrib/veriT-stable2016.tar.gz"; + sha256 = "0gvp4diz0qjg0y5ry0p1z7dkdkxw8l7jb8cdhvcnhl06jx977v4b"; + }; + + nativeBuildInputs = [ autoreconfHook flex bison ]; + buildInputs = [ gmp ]; + + # --disable-static actually enables static linking here... + dontDisableStatic = true; + + makeFlags = [ "LEX=${flex}/bin/flex" ]; + + preInstall = '' + mkdir -p $out/bin + ''; + + meta = with stdenv.lib; { + description = "An open, trustable and efficient SMT-solver"; + homepage = http://www.verit-solver.org/; + license = licenses.bsd3; + platforms = platforms.unix; + maintainers = [ maintainers.gebner ]; + }; +} |