public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Upgrade Pure to 0.63

Browse Source
This commit is contained in:
Alastair Pharo 2014-10-23 23:30:27 +11:00
parent 3bd29ef68f
commit d37835295a
2 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/interpreters/pure/default.nix
View File

@ -4,18 +4,23 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
baseName="pure"; baseName="pure";
project="pure-lang"; project="pure-lang";
version="0.62"; version="0.63";
name="${baseName}-${version}"; name="${baseName}-${version}";
extension="tar.gz"; extension="tar.gz";
src = fetchurl { src = fetchurl {
url="https://bitbucket.org/purelang/${project}/downloads/${name}.${extension}"; url="https://bitbucket.org/purelang/${project}/downloads/${name}.${extension}";
sha256="77df64e8154ef6f8fac66f8bcc471dc8f994862d1ee77b7c98003607757a013b"; sha256="33acb2d560b21813f5e856973b493d9cfafba82bd6f539425ce07aa22f84ee29";
}; };
buildInputs = [ bison flex makeWrapper ]; buildInputs = [ bison flex makeWrapper ];
propagatedBuildInputs = [ llvm gmp mpfr readline ]; propagatedBuildInputs = [ llvm gmp mpfr readline ];
configureFlags = [ "--enable-release" ];
doCheck = true;
checkPhase = ''
LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${llvm}/lib make check
'';
postInstall = '' postInstall = ''
wrapProgram $out/bin/pure --prefix LD_LIBRARY_PATH : ${llvm}/lib wrapProgram $out/bin/pure --prefix LD_LIBRARY_PATH : ${llvm}/lib
''; '';
@ -25,6 +30,7 @@ stdenv.mkDerivation rec {
maintainers = with lib.maintainers; maintainers = with lib.maintainers;
[ [
raskin raskin
asppsa
]; ];
platforms = with lib.platforms; platforms = with lib.platforms;
linux; linux;

5
pkgs/top-level/all-packages.nix
View File

@ -3937,10 +3937,7 @@ let
polyml = callPackage ../development/compilers/polyml { }; polyml = callPackage ../development/compilers/polyml { };
pure = callPackage ../development/interpreters/pure { pure = callPackage ../development/interpreters/pure { };
llvm = llvm_34 ;
};
pure-gsl = callPackage ../development/pure-modules/pure-gsl { }; pure-gsl = callPackage ../development/pure-modules/pure-gsl { };
python = python2; python = python2;