From c13ff671a2356f3c0ef46b3d7db88b8634ccb64c Mon Sep 17 00:00:00 2001
From: Karn Kallio <tierpluspluslists@gmail.com>
Date: Mon, 28 Nov 2011 15:12:02 +0000
Subject: [PATCH] Update urweb compiler to release 20111127.
svn path=/nixpkgs/trunk/; revision=30582
---
pkgs/development/compilers/urweb/default.nix | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/pkgs/development/compilers/urweb/default.nix b/pkgs/development/compilers/urweb/default.nix
index 44067e4207d2..2c197a1be573 100644
--- a/pkgs/development/compilers/urweb/default.nix
+++ b/pkgs/development/compilers/urweb/default.nix
@@ -2,23 +2,23 @@
stdenv.mkDerivation rec {
pname = "urweb";
- version = "20110917";
+ version = "20111127";
name = "${pname}-${version}";
src = fetchurl {
url = "http://www.impredicative.com/ur/${name}.tgz";
- sha256 = "1qgb25bwpdcs303q7yz1dm577xyy5pzzyvaqabhkvhbgxmlcpl73";
+ sha256 = "1mhicigbi434fdr4gim4dswnmff9dldszh93g2w2542nlxvn9lbj";
};
buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];
prePatch = ''
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 =
''
+ export CC="${stdenv.gcc}/bin/gcc";
export CCARGS="-I$out/include \
-L${mysql}/lib/mysql -L${postgresql}/lib -L${sqlite}/lib";