diff options
| author | Karn Kallio <tierpluspluslists@gmail.com> | 2011-11-28 15:12:02 +0000 |
|---|---|---|
| committer | Karn Kallio <tierpluspluslists@gmail.com> | 2011-11-28 15:12:02 +0000 |
| commit | c13ff671a2356f3c0ef46b3d7db88b8634ccb64c (patch) | |
| tree | 620932a8409e0243a8c8a20774479238b27b6f65 /pkgs/development/compilers/urweb | |
| parent | df41a6b63fd3d33b2f3e2921fbce2e17ae8f2281 (diff) | |
| download | nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar.gz nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar.bz2 nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar.lz nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar.xz nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.tar.zst nixlib-c13ff671a2356f3c0ef46b3d7db88b8634ccb64c.zip | |
Update urweb compiler to release 20111127.
svn path=/nixpkgs/trunk/; revision=30582
Diffstat (limited to 'pkgs/development/compilers/urweb')
| -rw-r--r-- | pkgs/development/compilers/urweb/default.nix | 6 |
1 files 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"; |