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

Update urweb compiler to release 20111127.

Browse Source 
svn path=/nixpkgs/trunk/; revision=30582
This commit is contained in:
Karn Kallio 2011-11-28 15:12:02 +00:00
parent df41a6b63f
commit c13ff671a2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/compilers/urweb/default.nix
View File

@ -2,23 +2,23 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "urweb"; pname = "urweb";
version = "20110917"; version = "20111127";
name = "${pname}-${version}"; name = "${pname}-${version}";
src = fetchurl { src = fetchurl {
url = "http://www.impredicative.com/ur/${name}.tgz"; url = "http://www.impredicative.com/ur/${name}.tgz";
sha256 = "1qgb25bwpdcs303q7yz1dm577xyy5pzzyvaqabhkvhbgxmlcpl73"; sha256 = "1mhicigbi434fdr4gim4dswnmff9dldszh93g2w2542nlxvn9lbj";
}; };
buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ]; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];
prePatch = '' prePatch = ''
sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure
sed -e 's@gcc @${stdenv.gcc}/bin/gcc @g' -i src/compiler.sml
''; '';
preConfigure = preConfigure =
'' ''
export CC="${stdenv.gcc}/bin/gcc";
export CCARGS="-I$out/include \ export CCARGS="-I$out/include \
-L${mysql}/lib/mysql -L${postgresql}/lib -L${sqlite}/lib"; -L${mysql}/lib/mysql -L${postgresql}/lib -L${sqlite}/lib";