1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
{ stdenv, fetchurl, gcc, flex, bison, texinfo, jdk, erlang, makeWrapper
, readline }:
stdenv.mkDerivation rec {
pname = "mercury";
version = "14.01.1";
src = fetchurl {
url = "https://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz";
sha256 = "12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq";
};
buildInputs = [ gcc flex bison texinfo jdk erlang makeWrapper
readline ];
patchPhase = ''
# Fix calls to programs in /bin
for p in uname pwd ; do
for f in $(egrep -lr /bin/$p *) ; do
sed -i 's@/bin/'$p'@'$p'@g' $f ;
done
done
'';
preConfigure = ''
mkdir -p $out/lib/mercury/cgi-bin ;
configureFlags="--enable-deep-profiler=$out/lib/mercury/cgi-bin";
'';
preBuild = ''
# Mercury buildsystem does not take -jN directly.
makeFlags="PARALLEL=-j$NIX_BUILD_CORES" ;
'';
postInstall = ''
# Wrap with compilers for the different targets.
for e in $(ls $out/bin) ; do
wrapProgram $out/bin/$e \
--prefix PATH ":" "${gcc}/bin" \
--prefix PATH ":" "${jdk}/bin" \
--prefix PATH ":" "${erlang}/bin"
done
'';
meta = {
description = "A pure logic programming language";
longDescription = ''
Mercury is a logic/functional programming language which combines the
clarity and expressiveness of declarative programming with advanced
static analysis and error detection features. Its highly optimized
execution algorithm delivers efficiency far in excess of existing logic
programming systems, and close to conventional programming systems.
Mercury addresses the problems of large-scale program development,
allowing modularity, separate compilation, and numerous optimization/time
trade-offs.
'';
homepage = "http://mercurylang.org";
license = stdenv.lib.licenses.gpl2;
platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin;
maintainers = [ ];
};
}
|