pyrox.dev
lol
Merge pull request #2787 from doublec/aliceml
Alice ML 1.4 programming language
+143
+71
pkgs/development/compilers/aliceml/builder.sh
+71
pkgs/development/compilers/aliceml/builder.sh
···
1
+
source $stdenv/setup
2
+
3
+
export CXXFLAGS="-m32"
4
+
5
+
tar zxvf "$gecodeSrc"
6
+
cd gecode-1.3.1
7
+
./configure --prefix="$out" --disable-minimodel --disable-examples
8
+
make
9
+
make install
10
+
cd ..
11
+
12
+
PKG_CONFIG_PATH=$PKG_CONFIG_PATH:"$out"/lib/pkgconfig
13
+
14
+
tar zxvf "$seamSrc"
15
+
cd seam-1.4
16
+
./configure --prefix="$out" --with-zlib=$zlib
17
+
make
18
+
make install
19
+
cd ..
20
+
21
+
PATH=$PATH:"$out"/bin
22
+
23
+
tar zxvf "$aliceSrc"
24
+
cd alice-1.4
25
+
sed -i -e 's/bin\/bash/usr\/bin\/env bash/g' bin/alicerun.in
26
+
sed -i -e 's/bin\/bash/usr\/bin\/env bash/g' bin/aliceremote
27
+
./configure --prefix="$out" --with-gmp=$gmp
28
+
make
29
+
make install
30
+
cd ..
31
+
32
+
tar zxvf "$aliceGecodeSrc"
33
+
cd alice-gecode-1.4
34
+
make compiledll MUST_GENERATE=no
35
+
make installdll MUST_GENERATE=no
36
+
cd ..
37
+
38
+
tar zxvf "$aliceRegexSrc"
39
+
cd alice-regex-1.4
40
+
make compiledll MUST_GENERATE=no
41
+
make installdll MUST_GENERATE=no
42
+
cd ..
43
+
44
+
tar zxvf "$aliceSqliteSrc"
45
+
cd alice-sqlite-1.4
46
+
make compiledll MUST_GENERATE=no
47
+
make installdll MUST_GENERATE=no
48
+
cd ..
49
+
50
+
tar zxvf "$aliceXmlSrc"
51
+
cd alice-xml-1.4
52
+
make compiledll MUST_GENERATE=no
53
+
make installdll MUST_GENERATE=no
54
+
cd ..
55
+
56
+
tar zxvf "$aliceGtkSrc"
57
+
cd alice-gtk-1.4
58
+
sed -i -e 's/PRIVATE_GTK_LEAVE_PENDING/PRIVATE_GTK_HAS_POINTER/g' NativeGtk.cc
59
+
sed -i -e 's/bin\/bash/usr\/bin\/env bash/g' myinstall
60
+
make compiledll MUST_GENERATE=no
61
+
make installdll MUST_GENERATE=no
62
+
cd ..
63
+
64
+
tar zxvf "$aliceRuntimeSrc"
65
+
cd alice-runtime-1.4
66
+
./configure --prefix="$out"
67
+
make
68
+
make install
69
+
cd ..
70
+
71
+
+70
pkgs/development/compilers/aliceml/default.nix
+70
pkgs/development/compilers/aliceml/default.nix
···
1
+
{stdenv, fetchurl, pkgsi686Linux, libtool, gnumake381, autoconf, automake111x, file, which, zsh, m4, pkgconfig, perl}:
2
+
3
+
stdenv.mkDerivation {
4
+
name = "aliceml-1.4";
5
+
6
+
aliceSrc = fetchurl {
7
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-1.4.tar.gz;
8
+
sha256 = "1ay8r26g7xm9zlrlpigp6y1zmrl93hzkndb5phx7651wx8j2183r";
9
+
};
10
+
11
+
aliceGecodeSrc = fetchurl {
12
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-gecode-1.4.tar.gz;
13
+
sha256 = "0yklpsqnm3wwzfz4vvv69dmm7q7pzpl3z7iw7wg33klng85cidl6";
14
+
};
15
+
16
+
aliceGtkSrc = fetchurl {
17
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-gtk-1.4.tar.gz;
18
+
sha256 = "0zx4ks0pk5wgbcsflcmn0kbpa9j7pjbsc19d1s3jgp4rwb24m1an";
19
+
};
20
+
21
+
aliceRegexSrc = fetchurl {
22
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-regex-1.4.tar.gz;
23
+
sha256 = "0myjzh3295awamghs4c88ypaa41m8sxh5jys876yq6flslw41s02";
24
+
};
25
+
26
+
aliceRuntimeSrc = fetchurl {
27
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-runtime-1.4.tar.gz;
28
+
sha256 = "1cbca71vh16l2h0zjvhgzzs0rzq99nc8nx9a97yzw595355nq57f";
29
+
};
30
+
31
+
aliceSqliteSrc = fetchurl {
32
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-sqlite-1.4.tar.gz;
33
+
sha256 = "0554xbx8zgqmpb7x06d7xvhlbk7bxmc237khgjs6yjcy53yf366b";
34
+
};
35
+
36
+
aliceXmlSrc = fetchurl {
37
+
url = http://www.ps.uni-saarland.de/alice/download/sources/alice-xml-1.4.tar.gz;
38
+
sha256 = "058a815a0vajjvjlsmd4ryx2bc71q6zwvyjg2c0v1gba2v3pddm0";
39
+
};
40
+
41
+
seamSrc = fetchurl {
42
+
url = http://www.ps.uni-saarland.de/alice/download/sources/seam-1.4.tar.gz;
43
+
sha256 = "1iz98jdv914whaw426d5406shlqgxqwpy3fbyb472x7d3lfra2dz";
44
+
};
45
+
46
+
gecodeSrc = fetchurl {
47
+
url = http://www.gecode.org/download/gecode-1.3.1.tar.gz;
48
+
sha256 = "0mgc6llbq166jmlq3alvagqsg3730670zvbwwkdgsqklw70v9355";
49
+
};
50
+
51
+
zlib = pkgsi686Linux.zlib;
52
+
gmp = pkgsi686Linux.gmp;
53
+
54
+
55
+
buildInputs = [
56
+
stdenv pkgsi686Linux.gcc34 pkgsi686Linux.glibc
57
+
libtool gnumake381 autoconf automake111x pkgsi686Linux.zlib
58
+
file which zsh pkgsi686Linux.gmp m4 pkgsi686Linux.gnome.gtk
59
+
pkgsi686Linux.gnome.libgnomecanvas pkgsi686Linux.pango pkgsi686Linux.sqlite
60
+
pkgsi686Linux.libxml2 pkgsi686Linux.lightning pkgconfig perl
61
+
];
62
+
63
+
builder = ./builder.sh;
64
+
65
+
meta = {
66
+
homepage = http://www.ps.uni-saarland.de/alice/;
67
+
description = "Alice ML is a functional programming language based on Standard ML, extended with rich support for concurrent, distributed, and constraint programming.";
68
+
license = "BSD";
69
+
};
70
+
}
+2
pkgs/top-level/all-packages.nix
+2
pkgs/top-level/all-packages.nix
···
2487
2487
2488
2488
aldor = callPackage ../development/compilers/aldor { };
2489
2489
2490
+
aliceml = callPackage ../development/compilers/aliceml { };
2491
+
2490
2492
aspectj = callPackage ../development/compilers/aspectj { };
2491
2493
2492
2494
ats = callPackage ../development/compilers/ats { };