tjh.dev
1{
2 lib,
3 stdenv,
4 fetchurl,
5 autoreconfHook,
6 gmp,
7 flex,
8 bison,
9}:
10
11stdenv.mkDerivation {
12 pname = "veriT";
13 version = "2021.06.2";
14
15 src = fetchurl {
16 url = "https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz";
17 sha256 = "1yjvvxnsix0rhilc81ycx1s85dymq366c6zh1hwwd8qxp7k1zca2";
18 };
19
20 nativeBuildInputs = [
21 autoreconfHook
22 flex
23 bison
24 ];
25 buildInputs = [ gmp ];
26
27 # --disable-static actually enables static linking here...
28 dontDisableStatic = true;
29
30 makeFlags = [ "LEX=${flex}/bin/flex" ];
31
32 preInstall = ''
33 mkdir -p $out/bin
34 '';
35
36 meta = with lib; {
37 description = "Open, trustable and efficient SMT-solver";
38 homepage = "https://verit.loria.fr/";
39 license = licenses.bsd3;
40 platforms = platforms.unix;
41 maintainers = [ ];
42 };
43}