haskell-uhc: New version with GHC 7.10 support.

This commit is contained in:
Philipp Hausmann 2015-04-30 11:45:05 +02:00
parent 19e1e44809
commit cc8539293c
No known key found for this signature in database
GPG Key ID: 7D9D938B2A1BD86C

View File

@ -2,13 +2,13 @@
let wrappedGhc = ghcWithPackages (hpkgs: with hpkgs; [shuffle hashable mtl network uhc-util uulib] );
in stdenv.mkDerivation rec {
version = "1.1.8.10";
version = "1.1.9.0";
name = "uhc-${version}";
src = fetchgit {
url = "https://github.com/UU-ComputerScience/uhc.git";
rev = "449d9578e06af1362d7f746798f0aed57ab6ca88";
sha256 = "0f8abhl9idbc2qlnb7ynrb11yvm3y07vksyzs1yg6snjvlhfj5az";
rev = "0363bbcf4cf8c47d30c3a188e3e53b3f8454bbe4";
sha256 = "0sa9b341mm5ggmbydc33ja3h7k9w65qnki9gsaagb06gkvvqc7c2";
};
postUnpack = "sourceRoot=\${sourceRoot}/EHC";
@ -22,8 +22,8 @@ in stdenv.mkDerivation rec {
# want that, and hack the build process to use a temporary package
# configuration file instead.
preConfigure = ''
p=`pwd`/uhc-local-packages
echo '[]' > $p
p=`pwd`/uhc-local-packages/
ghc-pkg init $p
sed -i "s|--user|--package-db=$p|g" mk/shared.mk.in
sed -i "s|-fglasgow-exts|-fglasgow-exts -package-conf=$p|g" mk/shared.mk.in
sed -i "s|/bin/date|${coreutils}/bin/date|g" mk/dist.mk