···

       
1
       
1
       
 
       
{ stdenv, fetchurl, qt4, qwt6_qt4, mesa, glew, gdal_1_11, cgal

     

       
2
       
2
       
-
       
, proj, boost160, cmake, python2, doxygen, graphviz, gmp }:

     

       
2
       
2
       
+
       
, proj, boost159, cmake, python2, doxygen, graphviz, gmp }:

     

       
3
       
3
       
 
       


     

       
4
       
4
       
 
       
stdenv.mkDerivation rec {

     

       
5
       
5
       
 
       
  name = "gplates-${version}";

     
···

       
15
       
15
       
 
       
  ];

     

       
16
       
16
       
 
       


     

       
17
       
17
       
 
       
  buildInputs = [

     

       
18
       
18
       
-
       
    qt4 qwt6_qt4 mesa glew gdal_1_11 cgal proj boost160 cmake python2

     

       
18
       
18
       
+
       
    qt4 qwt6_qt4 mesa glew gdal_1_11 cgal proj boost159 cmake python2

     

       
19
       
19
       
 
       
    doxygen graphviz gmp

     

       
20
       
20
       
 
       
  ];

     

       
21
       
21
       
 
       


     

···

       
1
       
1
       
-
       
{ stdenv, fetchurl, gmp }:

     

       
2
       
2
       
-
       


     

       
3
       
3
       
-
       
stdenv.mkDerivation rec {

     

       
4
       
4
       
-
       
  version = "0.0.3";

     

       
5
       
5
       
-
       
  name = "ikarus-${version}";

     

       
6
       
6
       
-
       


     

       
7
       
7
       
-
       
  src = fetchurl {

     

       
8
       
8
       
-
       
    url = "http://launchpad.net/ikarus/0.0/${version}/+download/${name}.tar.gz";

     

       
9
       
9
       
-
       
    sha256 = "0d4vqwqfnj39l0gar2di021kcf6bfpkc6g40yapkmxm6sxpdcvjv";

     

       
10
       
10
       
-
       
  };

     

       
11
       
11
       
-
       


     

       
12
       
12
       
-
       
  buildInputs = [ gmp ];

     

       
13
       
13
       
-
       


     

       
14
       
14
       
-
       
  meta = {

     

       
15
       
15
       
-
       
    description = "Scheme compiler, aiming at R6RS";

     

       
16
       
16
       
-
       
    homepage = http://ikarus-scheme.org/;

     

       
17
       
17
       
-
       
    license = stdenv.lib.licenses.gpl3;

     

       
18
       
18
       
-
       
  };

     

       
19
       
19
       
-
       
}

     

···

       
5191
       
5191
       
 
       
    inherit (haskellPackages) idris;

     

       
5192
       
5192
       
 
       
  };

     

       
5193
       
5193
       
 
       


     

       
5194
       
5194
       
-
       
  ikarus = callPackage ../development/compilers/ikarus { };

     

       
5195
       
5195
       
-
       


     

       
5196
       
5194
       
 
       
  intercal = callPackage ../development/compilers/intercal {

     

       
5197
       
5195
       
 
       
    flex = flex_2_6_1; # Works with 2.5.35 too, but not 2.6.3

     

       
5198
       
5196
       
 
       
  };