cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

ekrhyper: refactor

Browse source
This commit is contained in:
Felix Buehler 2021-12-21 12:44:01 +01:00
parent 459f9fe2be
commit f4931dfaee
2 changed files with 18 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
pkgs/applications/science/logic/ekrhyper/default.nix
View file

@ -1,32 +1,26 @@
{lib, stdenv, fetchurl, ocaml, perl}: { lib, stdenv, fetchurl, ocaml, perl }:
let
s = # Generated upstream information stdenv.mkDerivation rec {
rec { pname = "ekrhyper";
baseName="ekrhyper"; version = "1_4_21022014";
version="1_4_21022014";
name="${baseName}-${version}";
hash="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw";
url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_21022014.tar.gz";
sha256="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw";
};
buildInputs = [
ocaml perl
];
in
stdenv.mkDerivation {
inherit (s) name version;
inherit buildInputs;
src = fetchurl { src = fetchurl {
inherit (s) url sha256; url = "http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_${version}.tar.gz";
sha256 = "sha256-fEe0DIMGj7wO+79/BZf45kykgyTXpbZJsyFSt31XqpM=";
}; };
buildInputs = [
ocaml
perl
];
setSourceRoot = "export sourceRoot=$(echo */ekrh/src/)"; setSourceRoot = "export sourceRoot=$(echo */ekrh/src/)";
preInstall = "export INSTALLDIR=$out"; preInstall = "export INSTALLDIR=$out";
postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done ''; postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
meta = {
inherit (s) version; meta = with lib; {
description = "Automated first-order theorem prover"; description = "Automated first-order theorem prover";
license = lib.licenses.gpl2 ; license = licenses.gpl2;
maintainers = [lib.maintainers.raskin]; maintainers = with maintainers; [ raskin ];
platforms = lib.platforms.linux; platforms = platforms.linux;
}; };
} }

3
pkgs/applications/science/logic/ekrhyper/default.upstream
View file

@ -1,3 +0,0 @@
url http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/
ensure_choice
version '.*[^0-9]_([-0-9_]+)[.].*' '\1'