The attached patch adds an expression for the Mercury compiler
(https://mercurylang.org) to the nixpkgs.
>From 9ada53c4c668f8f653898acebbed4f2c599a70c0 Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkal...@skami.org>
Date: Wed, 14 May 2014 15:15:34 -0430
Subject: [PATCH] Add the Mercury compiler to nixpkgs.
---
pkgs/development/compilers/mercury/default.nix | 62 ++++++++++++++++++++++++++
pkgs/top-level/all-packages.nix | 2 +
2 files changed, 64 insertions(+)
create mode 100644 pkgs/development/compilers/mercury/default.nix
diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix
new file mode 100644
index 0000000..5ea922a
--- /dev/null
+++ b/pkgs/development/compilers/mercury/default.nix
@@ -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 = [ ];
+ };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 5fa2789..6fe24a9 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3030,6 +3030,8 @@ let
callPackage_i686 ../development/compilers/mentor {}
);
+ mercury = callPackage ../development/compilers/mercury { };
+
mitscheme = callPackage ../development/compilers/mit-scheme { };
mlton = callPackage ../development/compilers/mlton { };
--
1.9.2
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
