Add the Mercury compiler to nixpkgs.
This commit is contained in:
parent
b11c9c582b
commit
432998852c
62
pkgs/development/compilers/mercury/default.nix
Normal file
62
pkgs/development/compilers/mercury/default.nix
Normal file
|
@ -0,0 +1,62 @@
|
||||||
|
{ stdenv, fetchurl, gcc, flex, bison, texinfo, jdk, erlang, makeWrapper
|
||||||
|
, readline }:
|
||||||
|
|
||||||
|
stdenv.mkDerivation rec {
|
||||||
|
name = "mercury-${version}";
|
||||||
|
version = "14.01";
|
||||||
|
|
||||||
|
src = fetchurl {
|
||||||
|
url = "http://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz";
|
||||||
|
sha256 = "1hgwmsaacxhgx2p2hikl5px8xf0wny9wx47gjl258dgxxasbfij4";
|
||||||
|
};
|
||||||
|
|
||||||
|
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 = ''
|
||||||
|
ensureDir $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 = "Mercury is 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;
|
||||||
|
maintainers = [ ];
|
||||||
|
};
|
||||||
|
}
|
|
@ -3047,6 +3047,8 @@ let
|
||||||
callPackage_i686 ../development/compilers/mentor {}
|
callPackage_i686 ../development/compilers/mentor {}
|
||||||
);
|
);
|
||||||
|
|
||||||
|
mercury = callPackage ../development/compilers/mercury { };
|
||||||
|
|
||||||
mitscheme = callPackage ../development/compilers/mit-scheme { };
|
mitscheme = callPackage ../development/compilers/mit-scheme { };
|
||||||
|
|
||||||
mlton = callPackage ../development/compilers/mlton { };
|
mlton = callPackage ../development/compilers/mlton { };
|
||||||
|
|
Loading…
Reference in a new issue