···

       
1
       
-
       
{stdenv, fetchurl}:

     

       
2
       
 
       


     

       
3
       
 
       
let

     

       
4
       
 
       
  version = "5.5.2";

     
···

       
6
       
 
       


     

       
7
       
 
       
stdenv.mkDerivation {

     

       
8
       
 
       
  name = "polyml-${version}";

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
9
       
 
       


     

       
10
       
 
       
  src = fetchurl {

     

       
11
       
 
       
    url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz";

     

···

       
1
       
+
       
{stdenv, fetchurl, autoreconfHook}:

     

       
2
       
 
       


     

       
3
       
 
       
let

     

       
4
       
 
       
  version = "5.5.2";

     
···

       
6
       
 
       


     

       
7
       
 
       
stdenv.mkDerivation {

     

       
8
       
 
       
  name = "polyml-${version}";

     

       
9
       
+
       


     

       
10
       
+
       
  prePatch = stdenv.lib.optionalString stdenv.isDarwin ''

     

       
11
       
+
       
    substituteInPlace configure.ac --replace stdc++ c++

     

       
12
       
+
       
  '';

     

       
13
       
+
       


     

       
14
       
+
       
  buildInputs = stdenv.lib.optional stdenv.isDarwin autoreconfHook;

     

       
15
       
 
       


     

       
16
       
 
       
  src = fetchurl {

     

       
17
       
 
       
    url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz";