nixpkgs-suyu/pkgs/applications/science/logic/verit/default.nix

32 lines
793 B
Nix
Raw Normal View History

{ lib, stdenv, fetchurl, autoreconfHook, gmp, flex, bison }:
2015-03-31 09:14:38 +02:00
2019-08-13 23:52:01 +02:00
stdenv.mkDerivation {
pname = "veriT";
2017-02-01 19:43:02 +01:00
version = "2016";
2015-03-31 09:14:38 +02:00
src = fetchurl {
2017-02-01 19:43:02 +01:00
url = "http://www.verit-solver.org/distrib/veriT-stable2016.tar.gz";
sha256 = "0gvp4diz0qjg0y5ry0p1z7dkdkxw8l7jb8cdhvcnhl06jx977v4b";
2015-03-31 09:14:38 +02:00
};
2015-08-26 09:31:39 +02:00
nativeBuildInputs = [ autoreconfHook flex bison ];
buildInputs = [ gmp ];
2015-03-31 09:14:38 +02:00
2016-05-08 15:10:08 +02:00
# --disable-static actually enables static linking here...
dontDisableStatic = true;
2015-08-26 09:31:39 +02:00
makeFlags = [ "LEX=${flex}/bin/flex" ];
2015-03-31 09:14:38 +02:00
2015-08-26 09:31:39 +02:00
preInstall = ''
mkdir -p $out/bin
2015-03-31 09:14:38 +02:00
'';
meta = with lib; {
2015-03-31 09:14:38 +02:00
description = "An open, trustable and efficient SMT-solver";
homepage = "http://www.verit-solver.org/";
2015-03-31 09:14:38 +02:00
license = licenses.bsd3;
platforms = platforms.unix;
maintainers = [ maintainers.gebner ];
};
}