tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchurl,
5 ocaml,
6 perl,
7}:
8
9stdenv.mkDerivation rec {
10 pname = "ekrhyper";
11 version = "1_4_21022014";
12
13 src = fetchurl {
14 url = "http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_${version}.tar.gz";
15 sha256 = "sha256-fEe0DIMGj7wO+79/BZf45kykgyTXpbZJsyFSt31XqpM=";
16 };
17
18 strictDeps = true;
19 nativeBuildInputs = [
20 ocaml
21 perl
22 ];
23 setSourceRoot = "export sourceRoot=$(echo */ekrh/src)";
24 preInstall = "export INSTALLDIR=$out";
25 postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
26
27 meta = with lib; {
28 description = "Automated first-order theorem prover";
29 license = licenses.gpl2;
30 maintainers = with maintainers; [ raskin ];
31 platforms = platforms.linux;
32 };
33}