pyrox.dev
1{stdenv, fetchurl, autoreconfHook}:
2
3let
4 version = "5.6";
5in
6
7stdenv.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";
18 sha256 = "05d6l2a5m9jf32a8kahwg2p2ph4x9rjf1nsl83331q3gwn5bkmr0";
19 };
20
21 meta = {
22 description = "Standard ML compiler and interpreter";
23 longDescription = ''
24 Poly/ML is a full implementation of Standard ML.
25 '';
26 homepage = http://www.polyml.org/;
27 license = stdenv.lib.licenses.lgpl21;
28 platforms = with stdenv.lib.platforms; linux;
29 maintainers = [ #Add your name here!
30 stdenv.lib.maintainers.z77z
31 ];
32 };
33}