diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/tptp/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/tptp/default.nix | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/tptp/default.nix b/nixpkgs/pkgs/applications/science/logic/tptp/default.nix new file mode 100644 index 000000000000..24971b500d3f --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/tptp/default.nix @@ -0,0 +1,49 @@ +{ stdenv, fetchurl, yap, tcsh, perl, patchelf }: + +stdenv.mkDerivation rec { + name = "TPTP-${version}"; + version = "7.2.0"; + + src = fetchurl { + urls = [ + "http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz" + "http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}.tgz" + ]; + sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl"; + }; + + nativeBuildInputs = [ patchelf ]; + buildInputs = [ tcsh yap perl ]; + + installPhase = '' + sharedir=$out/share/tptp + + mkdir -p $sharedir + cp -r ./ $sharedir + + export TPTP=$sharedir + + tcsh $sharedir/Scripts/tptp2T_install -default + + substituteInPlace $sharedir/TPTP2X/tptp2X_install --replace /bin/mv mv + tcsh $sharedir/TPTP2X/tptp2X_install -default + + patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) $sharedir/Scripts/tptp4X + + mkdir -p $out/bin + ln -s $sharedir/TPTP2X/tptp2X $out/bin + ln -s $sharedir/Scripts/tptp2T $out/bin + ln -s $sharedir/Scripts/tptp4X $out/bin + ''; + + meta = with stdenv.lib; { + description = "Thousands of problems for theorem provers and tools"; + maintainers = with maintainers; [ raskin gebner ]; + # 6.3 GiB of data. Installation is unpacking and editing a few files. + # No sense in letting Hydra build it. + # Also, it is unclear what is covered by "verbatim" - we will edit configs + hydraPlatforms = []; + platforms = platforms.all; + license = licenses.unfreeRedistributable; + }; +} |