pyrox.dev
tptp: 7.2.0 -> 9.1.0 (#430716)
+13
-8
pkgs/by-name/tp/tptp/package.nix
+13
-8
pkgs/by-name/tp/tptp/package.nix
···
2
lib,
3
stdenv,
4
fetchurl,
5
-
yap,
6
tcsh,
7
perl,
8
patchelf,
9
}:
10
11
stdenv.mkDerivation rec {
12
pname = "TPTP";
13
-
version = "7.2.0";
14
15
src = fetchurl {
16
urls = [
17
-
"http://tptp.cs.miami.edu/TPTP/Distribution/TPTP-v${version}.tgz"
18
-
"http://tptp.cs.miami.edu/TPTP/Archive/TPTP-v${version}.tgz"
19
];
20
-
sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl";
21
};
22
23
-
nativeBuildInputs = [ patchelf ];
24
buildInputs = [
25
tcsh
26
-
yap
27
perl
28
];
29
···
40
substituteInPlace $sharedir/TPTP2X/tptp2X_install --replace /bin/mv mv
41
tcsh $sharedir/TPTP2X/tptp2X_install -default
42
43
-
patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) $sharedir/Scripts/tptp4X
44
45
mkdir -p $out/bin
46
ln -s $sharedir/TPTP2X/tptp2X $out/bin
···
60
platforms = platforms.all;
61
sourceProvenance = with sourceTypes; [ binaryNativeCode ];
62
license = licenses.unfreeRedistributable;
63
};
64
}
···
2
lib,
3
stdenv,
4
fetchurl,
5
+
swi-prolog,
6
tcsh,
7
perl,
8
patchelf,
9
+
curl,
10
}:
11
12
stdenv.mkDerivation rec {
13
pname = "TPTP";
14
+
version = "9.1.0";
15
16
src = fetchurl {
17
urls = [
18
+
"https://tptp.org/TPTP/Distribution/TPTP-v${version}.tgz"
19
+
"https://tptp.org/TPTP/Archive/TPTP-v${version}.tgz"
20
];
21
+
hash = "sha256-KylCpKEdjvXTzYU2MOi0FDrr4e6je2YB366+dxy3Xmo=";
22
};
23
24
+
nativeBuildInputs = [
25
+
patchelf
26
+
swi-prolog
27
+
];
28
buildInputs = [
29
tcsh
30
+
swi-prolog
31
perl
32
];
33
···
44
substituteInPlace $sharedir/TPTP2X/tptp2X_install --replace /bin/mv mv
45
tcsh $sharedir/TPTP2X/tptp2X_install -default
46
47
+
patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) --set-rpath ${lib.getLib curl}/lib $sharedir/Scripts/tptp4X
48
49
mkdir -p $out/bin
50
ln -s $sharedir/TPTP2X/tptp2X $out/bin
···
64
platforms = platforms.all;
65
sourceProvenance = with sourceTypes; [ binaryNativeCode ];
66
license = licenses.unfreeRedistributable;
67
+
homepage = "https://tptp.org/TPTP/";
68
};
69
}