pyrox.dev
veriT: 201410 -> 201506
+8
-11
pkgs/applications/science/logic/verit/default.nix
+8
-11
pkgs/applications/science/logic/verit/default.nix
···
1
-
{ stdenv, fetchurl, gmp, flex, bison }:
2
3
stdenv.mkDerivation rec {
4
name = "veriT-${version}";
5
-
version = "201410";
6
7
src = fetchurl {
8
url = "http://www.verit-solver.org/distrib/${name}.tar.gz";
9
-
sha256 = "0b31rl3wjn3b09jpka93lx83d26m8a5pixa216vq8pmjach8q5a3";
10
};
11
12
-
buildInputs = [ gmp flex bison ];
13
14
-
enableParallelBuilding = false;
15
16
-
makeFlags = [
17
-
"EXTERN=" # use system copy of gmp
18
-
];
19
-
20
-
installPhase = ''
21
-
install -D -m0755 veriT $out/bin/veriT
22
'';
23
24
meta = with stdenv.lib; {
···
1
+
{ stdenv, fetchurl, autoreconfHook, gmp, flex, bison }:
2
3
stdenv.mkDerivation rec {
4
name = "veriT-${version}";
5
+
version = "201506";
6
7
src = fetchurl {
8
url = "http://www.verit-solver.org/distrib/${name}.tar.gz";
9
+
sha256 = "1cc9gcspw3namkdfypkians2j5dn224dsw6xx95qicad6033bsgk";
10
};
11
12
+
nativeBuildInputs = [ autoreconfHook flex bison ];
13
+
buildInputs = [ gmp ];
14
15
+
makeFlags = [ "LEX=${flex}/bin/flex" ];
16
17
+
preInstall = ''
18
+
mkdir -p $out/bin
19
'';
20
21
meta = with stdenv.lib; {