3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/z3/tptp.nix

32 lines
724 B
Nix
Raw Normal View History

{stdenv, z3, cmake}:
stdenv.mkDerivation rec {
pname = "z3-tptp";
version = z3.version;
src = z3.src;
sourceRoot = "source/examples/tptp";
nativeBuildInputs = [cmake];
buildInputs = [z3];
preConfigure = ''
echo 'set(Z3_LIBRARIES "-lz3")' >> CMakeLists.new
cat CMakeLists.txt | grep -E 'add_executable|project|link_libraries' >> CMakeLists.new
mv CMakeLists.new CMakeLists.txt
'';
installPhase = ''
mkdir -p "$out/bin"
cp "z3_tptp5" "$out/bin/"
ln -s "z3_tptp5" "$out/bin/z3-tptp"
'';
meta = {
inherit version;
inherit (z3.meta) license homepage platforms;
description = ''TPTP wrapper for Z3 prover'';
maintainers = [stdenv.lib.maintainers.raskin];
};
}