commit 0ae1a8b8478c742be43b79a1a2543f30584626f8 · pyrox.dev/nixpkgs

+11 -8
pkgs/applications/science/logic/hol/default.nix
···

       1
       1
       -
       {stdenv, fetchurl, polyml, experimentalKernel ? false}:

     

       1
       1
       +
       {stdenv, fetchurl, polyml, graphviz, experimentalKernel ? true}:

     

       2
       2
        
       

     

       3
       3
        
       let

     

       4
       4
        
         pname = "hol4";

     

       5
       5
       -
         version = "k.7";

     

       5
       5
       +
         version = "k.8";

     

       6
       6
       +
         holsubdir = "hol-kananaskis-8";

     

       6
       7
        
         kernelFlag = if experimentalKernel then "-expk" else "-stdknl";

     

       7
       8
        
       in

     

       8
       9
        
       

     
···

       10
       11
        
         name = "${pname}-${version}";

     

       11
       12
        
       

     

       12
       13
        
         src = fetchurl {

     

       13
       13
       -
           url = mirror://sourceforge/hol/hol/kananaskis-7/kananaskis-7.tar.gz;

     

       14
       14
       -
           sha256 = "0gs1nmjvsjhnndama9v7gids2g86iip53v7d7dm3sfq6jxmqkwkl";

     

       14
       14
       +
           url = mirror://sourceforge/hol/hol/kananaskis-8/kananaskis-8.tar.gz;

     

       15
       15
       +
           sha256 = "5ce4c1e37301dbc38772694e98f1c7eabf69255908de204b280d8b2b1709e9d0";

     

       15
       16
        
         };

     

       16
       17
        
       

     

       17
       17
       -
         buildInputs = [polyml];

     

       18
       18
       +
         buildInputs = [polyml graphviz];

     

       18
       19
        
       

     

       19
       20
        
         buildCommand = ''

     

       20
       21
        
           mkdir -p "$out/src"

     

       21
       22
        
           cd  "$out/src"

     

       22
       23
        
       

     

       23
       24
        
           tar -xzf "$src"

     

       24
       24
       -
           cd hol4.${version}

     

       25
       25
       +
           cd ${holsubdir}

     

       25
       26
        
       

     

       26
       27
        
           substituteInPlace tools/Holmake/Holmake_types.sml \

     

       27
       28
        
             --replace "\"/bin/mv\"" "\"mv\"" \

     

       28
       29
        
             --replace "\"/bin/cp\"" "\"cp\""

     

       30
       30
       +
       

     

       31
       31
       +
           substituteInPlace tools/buildutils.sml --replace "\"/usr/bin/dot\"" "\"dot\""

     

       29
       32
        
       

     

       30
       33
        
           #sed -ie "/compute/,999 d" tools/build-sequence # for testing

     

       31
       34
        
       

     

       32
       35
        
           poly < tools/smart-configure.sml

     

       33
       33
       -
           

     

       36
       36
       +
       

     

       34
       37
        
           bin/build ${kernelFlag} -symlink

     

       35
       38
        
       

     

       36
       39
        
           mkdir -p "$out/bin"

     

       37
       37
       -
           ln -st $out/bin  $out/src/hol4.${version}/bin/*

     

       40
       40
       +
           ln -st $out/bin  "$out/src/${holsubdir}/bin/"*

     

       38
       41
        
           # ln -s $out/src/hol4.${version}/bin $out/bin

     

       39
       42
        
         '';

     

       40
       43