pkgs/by-name/tp/tptp/package.nix

   1 { lib, stdenv, fetchurl, yap, tcsh, perl, patchelf }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "TPTP";
   5   version = "7.2.0";
   6
   7   src = fetchurl {
   8     urls = [
   9       "http://tptp.cs.miami.edu/TPTP/Distribution/TPTP-v${version}.tgz"
  10       "http://tptp.cs.miami.edu/TPTP/Archive/TPTP-v${version}.tgz"
  11     ];
  12     sha256 = "0yq8452b6mym4yscy46pshg0z2my8xi74b5bp2qlxd5bjwcrg6rl";
  13   };
  14
  15   nativeBuildInputs = [ patchelf ];
  16   buildInputs = [ tcsh yap perl ];
  17
  18   installPhase = ''
  19     sharedir=$out/share/tptp
  20
  21     mkdir -p $sharedir
  22     cp -r ./ $sharedir
  23
  24     export TPTP=$sharedir
  25
  26     tcsh $sharedir/Scripts/tptp2T_install -default
  27
  28     substituteInPlace $sharedir/TPTP2X/tptp2X_install --replace /bin/mv mv
  29     tcsh $sharedir/TPTP2X/tptp2X_install -default
  30
  31     patchelf --interpreter $(cat $NIX_CC/nix-support/dynamic-linker) $sharedir/Scripts/tptp4X
  32
  33     mkdir -p $out/bin
  34     ln -s $sharedir/TPTP2X/tptp2X $out/bin
  35     ln -s $sharedir/Scripts/tptp2T $out/bin
  36     ln -s $sharedir/Scripts/tptp4X $out/bin
  37   '';
  38
  39   meta = with lib; {
  40     description = "Thousands of problems for theorem provers and tools";
  41     maintainers = with maintainers; [ raskin gebner ];
  42     # 6.3 GiB of data. Installation is unpacking and editing a few files.
  43     # No sense in letting Hydra build it.
  44     # Also, it is unclear what is covered by "verbatim" - we will edit configs
  45     hydraPlatforms = [];
  46     platforms = platforms.all;
  47     sourceProvenance = with sourceTypes; [ binaryNativeCode ];
  48     license = licenses.unfreeRedistributable;
  49   };
  50 }