pkgs/development/compilers/mercury/default.nix

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