2011-12-16 18:11:23 +00:00
|
|
|
{stdenv, fetchurl, ghc, perl, gmp, ncurses, darwinInstallNameToolUtility}:
|
2010-09-28 14:48:22 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2012-04-20 13:22:23 +01:00
|
|
|
version = "7.5.20120413";
|
2011-08-08 20:47:31 +01:00
|
|
|
|
2010-09-28 14:48:22 +01:00
|
|
|
name = "ghc-${version}";
|
2011-08-08 20:47:31 +01:00
|
|
|
|
2010-09-28 14:48:22 +01:00
|
|
|
src = fetchurl {
|
2012-04-20 13:22:23 +01:00
|
|
|
url = "http://haskell.org/ghc/dist/current/dist/${name}-src.tar.bz2";
|
2012-04-20 21:17:07 +01:00
|
|
|
sha256 = "a111054715133d12fc35d1565f371e149677416af9131e6a47ffdb0354e8a87f";
|
2010-09-28 14:48:22 +01:00
|
|
|
};
|
|
|
|
|
2011-12-16 18:11:23 +00:00
|
|
|
buildInputs = [ghc perl gmp ncurses] ++
|
|
|
|
(if stdenv.isDarwin then [darwinInstallNameToolUtility] else []);
|
2010-09-28 14:48:22 +01:00
|
|
|
|
|
|
|
buildMK = ''
|
|
|
|
libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-gmp-libraries="${gmp}/lib"
|
|
|
|
libraries/integer-gmp_CONFIGURE_OPTS += --configure-option=--with-gmp-includes="${gmp}/include"
|
|
|
|
'';
|
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
echo "${buildMK}" > mk/build.mk
|
2011-12-16 18:11:23 +00:00
|
|
|
sed -i -e 's|-isysroot /Developer/SDKs/MacOSX10.5.sdk||' configure
|
2010-09-28 14:48:22 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
configureFlags=[
|
|
|
|
"--with-gcc=${stdenv.gcc}/bin/gcc"
|
|
|
|
];
|
|
|
|
|
|
|
|
# required, because otherwise all symbols from HSffi.o are stripped, and
|
|
|
|
# that in turn causes GHCi to abort
|
|
|
|
stripDebugFlags=["-S" "--keep-file-symbols"];
|
|
|
|
|
|
|
|
meta = {
|
2011-12-16 18:11:23 +00:00
|
|
|
homepage = "http://haskell.org/ghc";
|
2010-09-28 14:48:22 +01:00
|
|
|
description = "The Glasgow Haskell Compiler";
|
|
|
|
maintainers = [
|
|
|
|
stdenv.lib.maintainers.marcweber
|
|
|
|
stdenv.lib.maintainers.andres
|
2011-12-16 18:11:23 +00:00
|
|
|
stdenv.lib.maintainers.simons
|
2010-09-28 14:48:22 +01:00
|
|
|
];
|
2011-08-09 08:42:05 +01:00
|
|
|
platforms = ghc.meta.platforms;
|
2010-09-28 14:48:22 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|