pkgs/applications/science/logic/z3/tptp.nix

   1 {lib, stdenv, z3, cmake}:
   2 stdenv.mkDerivation rec {
   3   pname = "z3-tptp";
   4   version = z3.version;
   5
   6   src = z3.src;
   7
   8   sourceRoot = "${src.name}/examples/tptp";
   9
  10   nativeBuildInputs = [cmake];
  11   buildInputs = [z3];
  12
  13   preConfigure = ''
  14     echo 'set(Z3_LIBRARIES "-lz3")' >> CMakeLists.new
  15     cat CMakeLists.txt | grep -E 'add_executable|project|link_libraries' >> CMakeLists.new
  16     mv CMakeLists.new CMakeLists.txt
  17   '';
  18
  19   installPhase = ''
  20     mkdir -p "$out/bin"
  21     cp "z3_tptp5" "$out/bin/"
  22     ln -s "z3_tptp5" "$out/bin/z3-tptp"
  23   '';
  24
  25   meta = {
  26     inherit (z3.meta) license homepage platforms;
  27     description = "TPTP wrapper for Z3 prover";
  28     maintainers = [lib.maintainers.raskin];
  29   };
  30 }