commit a936d9d6dc31659dbf8115612a0e7efffacb892c · pyrox.dev/nixpkgs

+8 -4

pkgs/applications/science/logic/isabelle/default.nix

···

       2
        
       # nettools needed for hostname

     

       3
        
       

     

       4
        
       let

     

       5
       -
         dirname = "Isabelle2016-1";

     

       6
        
       in

     

       7
        
       

     

       8
        
       stdenv.mkDerivation {

     

       9
       -
         name = "isabelle-2016-1";

     

       10
        
         inherit dirname;

     

       11
        
       

     

       12
        
         src = if stdenv.isDarwin

     

       13
        
           then fetchurl {

     

       14
        
             url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}.dmg";

     

       15
       -
             sha256 = "0553l7m2z32ajmiv6sgg11rh16n490w8i4q9hr7vx4zzggr9nrlr";

     

       16
        
           }

     

       17
        
           else fetchurl {

     

       18
        
             url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz";

     

       19
       -
             sha256 = "1w1cgfmmi1sr43z6hczyc29lxlnlz7dd8fa88ai44wkc13y05b5r";

     

       20
        
           };

     

       21
        
       

     

       22
        
         buildInputs = [ perl polyml z3 ]

     
···

       43
        
             --replace '$ML_HOME/poly' ${polyml}/bin/poly

     

       44
        
           substituteInPlace contrib/z3*/etc/settings \

     

       45
        
             --replace '$Z3_HOME/z3' '${z3}/bin/z3'

     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       0
        
       
     

       46
        
           '' + (if ! stdenv.isLinux then "" else ''

     

       47
        
           arch=${if stdenv.system == "x86_64-linux" then "x86_64-linux" else "x86-linux"}

     

       48
        
           for f in contrib/*/$arch/{bash_process,epclextract,eprover,nunchaku,SPASS}; do

···

       2
        
       # nettools needed for hostname

     

       3
        
       

     

       4
        
       let

     

       5
       +
         dirname = "Isabelle2017";

     

       6
        
       in

     

       7
        
       

     

       8
        
       stdenv.mkDerivation {

     

       9
       +
         name = "isabelle-2017";

     

       10
        
         inherit dirname;

     

       11
        
       

     

       12
        
         src = if stdenv.isDarwin

     

       13
        
           then fetchurl {

     

       14
        
             url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}.dmg";

     

       15
       +
             sha256 = "1awgg39i72pivwfijdwffvil3glnpimjz2x04qbl5la2j6la48nb";

     

       16
        
           }

     

       17
        
           else fetchurl {

     

       18
        
             url = "http://isabelle.in.tum.de/website-${dirname}/dist/${dirname}_linux.tar.gz";

     

       19
       +
             sha256 = "01v1zrajyfamjq5b8v18qr3ffivjckifsvvx2vs13di6wsnmm9gw";

     

       20
        
           };

     

       21
        
       

     

       22
        
         buildInputs = [ perl polyml z3 ]

     
···

       43
        
             --replace '$ML_HOME/poly' ${polyml}/bin/poly

     

       44
        
           substituteInPlace contrib/z3*/etc/settings \

     

       45
        
             --replace '$Z3_HOME/z3' '${z3}/bin/z3'

     

       46
       +
       

     

       47
       +
           for comp in contrib/jdk contrib/polyml*; do

     

       48
       +
             rm -rf $comp/x86*

     

       49
       +
           done

     

       50
        
           '' + (if ! stdenv.isLinux then "" else ''

     

       51
        
           arch=${if stdenv.system == "x86_64-linux" then "x86_64-linux" else "x86-linux"}

     

       52
        
           for f in contrib/*/$arch/{bash_process,epclextract,eprover,nunchaku,SPASS}; do

+1 -1

pkgs/top-level/all-packages.nix

···

       14844
        
       

     

       14845
        
         gphoto2fs = callPackage ../applications/misc/gphoto2/gphotofs.nix { };

     

       14846
        
       

     

       14847
       -
         gramps = callPackage ../applications/misc/gramps { 

     

       14848
        
               pythonPackages = python3Packages;

     

       14849
        
         };

     

       14850

···

       14844
        
       

     

       14845
        
         gphoto2fs = callPackage ../applications/misc/gphoto2/gphotofs.nix { };

     

       14846
        
       

     

       14847
       +
         gramps = callPackage ../applications/misc/gramps {

     

       14848
        
               pythonPackages = python3Packages;

     

       14849
        
         };

     

       14850