public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

hol: 10 -> 14

Browse Source 
also cleared broken status; builds on NixOS

Signed-off-by: Vladimir Serov <me@cab404.ru>
This commit is contained in:
Vladimir Serov 2021-02-19 23:24:48 +03:00 committed by tomberek
parent bd140443c0
commit f4eddc2fad
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkgs/applications/science/logic/hol/default.nix
View File

@ -3,14 +3,14 @@
let let
pname = "hol4"; pname = "hol4";
vnum = "10"; vnum = "14";
in in
let let
version = "k.${vnum}"; version = "k.${vnum}";
longVersion = "kananaskis-${vnum}"; longVersion = "kananaskis-${vnum}";
holsubdir = "hol-${longVersion}"; holsubdir = "hol-${longVersion}";
kernelFlag = if experimentalKernel then "-expk" else "-stdknl"; kernelFlag = if experimentalKernel then "--expk" else "--stdknl";
in in
let let
@ -24,7 +24,7 @@ stdenv.mkDerivation {
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/hol/hol/${longVersion}/${holsubdir}.tar.gz"; url = "mirror://sourceforge/hol/hol/${longVersion}/${holsubdir}.tar.gz";
sha256 = "0x2wxksr305h1lrbklf6p42lp09rbhb4rsh74g0l70sgapyiac9b"; sha256 = "6Mc/qsEjzxGqzt6yP6x/1Tmqpwc1UDGlwV1Gl+4pMsY=";
}; };
buildInputs = [polymlEnableShared graphviz fontconfig liberation_ttf]; buildInputs = [polymlEnableShared graphviz fontconfig liberation_ttf];
@ -46,8 +46,8 @@ stdenv.mkDerivation {
cd ${holsubdir} cd ${holsubdir}
substituteInPlace tools/Holmake/Holmake_types.sml \ substituteInPlace tools/Holmake/Holmake_types.sml \
--replace "\"/bin/mv\"" "\"mv\"" \ --replace "\"/bin/" "\"" \
--replace "\"/bin/cp\"" "\"cp\""
for f in tools/buildutils.sml help/src-sml/DOT; for f in tools/buildutils.sml help/src-sml/DOT;
do do
@ -58,7 +58,7 @@ stdenv.mkDerivation {
poly < tools/smart-configure.sml poly < tools/smart-configure.sml
bin/build ${kernelFlag} -symlink bin/build ${kernelFlag}
mkdir -p "$out/bin" mkdir -p "$out/bin"
ln -st $out/bin $out/src/${holsubdir}/bin/* ln -st $out/bin $out/src/${holsubdir}/bin/*
@ -81,8 +81,7 @@ stdenv.mkDerivation {
''; '';
homepage = "http://hol.sourceforge.net/"; homepage = "http://hol.sourceforge.net/";
license = licenses.bsd3; license = licenses.bsd3;
platforms = [ "x86_64-linux" ];
maintainers = with maintainers; [ mudri ]; maintainers = with maintainers; [ mudri ];
platforms = with platforms; linux;
broken = true;
}; };
} }