1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 02:24:27 +00:00
nixpkgs/pkgs/development/interpreters/pure/default.nix
2017-03-12 12:22:52 +11:00

46 lines
1.1 KiB
Nix

{ lib, stdenv, fetchurl, makeWrapper,
llvm, gmp, mpfr, readline, bison, flex }:
stdenv.mkDerivation rec {
baseName="pure";
project="pure-lang";
version="0.66";
name="${baseName}-${version}";
extension="tar.gz";
src = fetchurl {
url="https://bitbucket.org/purelang/${project}/downloads/${name}.${extension}";
sha256="42df6832476e8bee3a7ca179671284c1edd7bc82b71062fa0de62fd2117ee676";
};
buildInputs = [ bison flex makeWrapper ];
propagatedBuildInputs = [ llvm gmp mpfr readline ];
postPatch = ''
for f in expr.cc matcher.cc printer.cc symtable.cc parserdefs.hh; do
sed -i '1i\#include <stddef.h>' $f
done
'';
configureFlags = [ "--enable-release" ];
doCheck = true;
checkPhase = ''
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${llvm}/lib make check
'';
postInstall = ''
wrapProgram $out/bin/pure --prefix LD_LIBRARY_PATH : ${llvm}/lib
'';
meta = {
description = "A modern-style functional programming language based on term rewriting";
maintainers = with lib.maintainers;
[
raskin
asppsa
];
platforms = with lib.platforms;
linux;
license = lib.licenses.gpl3Plus;
};
}