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..6c0d1061dcab --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/verit/default.nix @@ -0,0 +1,31 @@ +{ lib, stdenv, fetchurl, autoreconfHook, gmp, flex, bison }: + +stdenv.mkDerivation { + pname = "veriT"; + version = "2021.06.2"; + + src = fetchurl { + url = "https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz"; + sha256 = "1yjvvxnsix0rhilc81ycx1s85dymq366c6zh1hwwd8qxp7k1zca2"; + }; + + 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 lib; { + description = "An open, trustable and efficient SMT-solver"; + homepage = "https://verit.loria.fr/"; + license = licenses.bsd3; + platforms = platforms.unix; + maintainers = [ maintainers.gebner ]; + }; +} |