BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #151553 from Stunkymonkey/ekrhyper-refactor

Browse source 
ekrhyper: refactor
This commit is contained in:
7c6f434c 2021-12-21 12:25:05 +00:00 committed by GitHub
commit 210940369b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,32 +1,26 @@
{ lib, stdenv, fetchurl, ocaml, perl }:
let
s = # Generated upstream information
rec {
baseName="ekrhyper";
stdenv.mkDerivation rec {
pname = "ekrhyper";
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 {
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/)";
preInstall = "export INSTALLDIR=$out";
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";
license = lib.licenses.gpl2 ;
maintainers = [lib.maintainers.raskin];
platforms = lib.platforms.linux;
license = licenses.gpl2;
maintainers = with maintainers; [ raskin ];
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'