ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-28 14:22:50 +03:00
Code Issues Projects Releases Wiki Activity

hol_light: 2016-07-23 -> 2017-07-06

Browse Source
This commit is contained in:
Vincent Laporte 2017-07-08 04:11:28 +00:00
parent 59ad9714f6
commit 43b2b55743
2 changed files with 11 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/hol_light/Makefile.patch
View File

@ -1,13 +0,0 @@
Index: Makefile
===================================================================
--- a/Makefile (révision 199)
+++ b/Makefile (copie de travail)
@@ -59,7 +59,7 @@
then cp pa_j_3.1x_6.02.1.ml pa_j.ml; \
else if test ${CAMLP5_VERSION} = "6.02.2" -o ${CAMLP5_VERSION} = "6.02.3" -o ${CAMLP5_VERSION} = "6.03" -o ${CAMLP5_VERSION} = "6.04" -o ${CAMLP5_VERSION} = "6.05" -o ${CAMLP5_VERSION} = "6.06" ; \
then cp pa_j_3.1x_6.02.2.ml pa_j.ml; \
- else if test ${CAMLP5_VERSION} = "6.06" -o ${CAMLP5_VERSION} = "6.07" -o ${CAMLP5_VERSION} = "6.08" -o ${CAMLP5_VERSION} = "6.09" -o ${CAMLP5_VERSION} = "6.10" -o ${CAMLP5_VERSION} = "6.11" -o ${CAMLP5_VERSION} = "6.12" -o ${CAMLP5_VERSION} = "6.13" -o ${CAMLP5_VERSION} = "6.14" -o ${CAMLP5_VERSION} = "6.15" -o ${CAMLP5_VERSION} = "6.16" ; \
+ else if test ${CAMLP5_VERSION} = "6.06" -o ${CAMLP5_VERSION} = "6.07" -o ${CAMLP5_VERSION} = "6.08" -o ${CAMLP5_VERSION} = "6.09" -o ${CAMLP5_VERSION} = "6.10" -o ${CAMLP5_VERSION} = "6.11" -o ${CAMLP5_VERSION} = "6.12" -o ${CAMLP5_VERSION} = "6.13" -o ${CAMLP5_VERSION} = "6.14" -o ${CAMLP5_VERSION} = "6.15" -o ${CAMLP5_VERSION} = "6.16" -o ${CAMLP5_VERSION} = "6.17" ; \
then cp pa_j_3.1x_6.11.ml pa_j.ml; \
else cp pa_j_3.1x_${CAMLP5_BINARY_VERSION}.xx.ml pa_j.ml; \
fi \

16
pkgs/applications/science/logic/hol_light/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, writeScript, ocaml, camlp5 }: { stdenv, fetchFromGitHub, fetchpatch, writeScript, ocaml, camlp5 }:
let let
start_script = '' start_script = ''
@ -9,18 +9,24 @@ let
in in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "hol_light-2016-07-23"; name = "hol_light-2017-07-06";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "jrh13"; owner = "jrh13";
repo = "hol-light"; repo = "hol-light";
rev = "67cff936dda719f0e0ee57ab9d07c779ff664660"; rev = "0ad8cbdb4de08a38dac600f352555e8454499faa";
sha256 = "0r85ifdvsvk2cdv7s4a0kf9ha6jdznqmz7swvp577f8r182klr28"; sha256 = "0px9hl1b0mkyqv84j0si1zdq4066ffdrhzp27p2iah9l8ynbvpaq";
}; };
buildInputs = [ ocaml camlp5 ]; buildInputs = [ ocaml camlp5 ];
patches = [ ./Makefile.patch ]; patches = [ (fetchpatch {
url = https://github.com/girving/hol-light/commit/f80524bad61fd6f6facaa42153b2e29d1eab4658.patch;
sha256 = "1563wp597vakhmsgg8940dpirzzfvvxqp75x3dnx20rvmi2n2xw0";
})
];
postPatch = "cp pa_j_3.1x_{6,7}.xx.ml";
installPhase = '' installPhase = ''
mkdir -p "$out/lib/hol_light" "$out/bin" mkdir -p "$out/lib/hol_light" "$out/bin"