2024-05-03 11:34:39 +01:00
|
|
|
|
{ version
|
|
|
|
|
, sha256
|
|
|
|
|
, url ? "https://downloads.haskell.org/ghc/${version}/ghc-${version}-src.tar.xz"
|
|
|
|
|
}:
|
|
|
|
|
|
2023-07-23 09:30:35 +01:00
|
|
|
|
{ lib, stdenv, pkgsBuildTarget, pkgsHostTarget, buildPackages, targetPackages
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
# build-tools
|
|
|
|
|
, bootPkgs
|
|
|
|
|
, autoconf, automake, coreutils, fetchpatch, fetchurl, perl, python3, m4, sphinx
|
|
|
|
|
, xattr, autoSignDarwinBinariesHook
|
|
|
|
|
, bash
|
|
|
|
|
|
|
|
|
|
, libiconv ? null, ncurses
|
|
|
|
|
, glibcLocales ? null
|
|
|
|
|
|
|
|
|
|
, # GHC can be built with system libffi or a bundled one.
|
|
|
|
|
libffi ? null
|
|
|
|
|
|
|
|
|
|
, useLLVM ? !(stdenv.targetPlatform.isx86
|
|
|
|
|
|| stdenv.targetPlatform.isPower
|
|
|
|
|
|| stdenv.targetPlatform.isSparc
|
2024-05-03 11:34:39 +01:00
|
|
|
|
|| (lib.versionAtLeast version "9.2" && stdenv.targetPlatform.isAarch64))
|
2023-11-17 10:34:38 +00:00
|
|
|
|
, # LLVM is conceptually a run-time-only dependency, but for
|
|
|
|
|
# non-x86, we need LLVM to bootstrap later stages, so it becomes a
|
|
|
|
|
# build-time dependency too.
|
|
|
|
|
buildTargetLlvmPackages, llvmPackages
|
|
|
|
|
|
|
|
|
|
, # If enabled, GHC will be built with the GPL-free but slightly slower native
|
|
|
|
|
# bignum backend instead of the faster but GPLed gmp backend.
|
|
|
|
|
enableNativeBignum ? !(lib.meta.availableOn stdenv.hostPlatform gmp
|
|
|
|
|
&& lib.meta.availableOn stdenv.targetPlatform gmp)
|
|
|
|
|
, gmp
|
|
|
|
|
|
|
|
|
|
, # If enabled, use -fPIC when compiling static libs.
|
|
|
|
|
enableRelocatedStaticLibs ? stdenv.targetPlatform != stdenv.hostPlatform
|
|
|
|
|
|
|
|
|
|
, enableProfiledLibs ? true
|
|
|
|
|
|
|
|
|
|
, # Whether to build dynamic libs for the standard library (on the target
|
|
|
|
|
# platform). Static libs are always built.
|
|
|
|
|
enableShared ? with stdenv.targetPlatform; !isWindows && !useiOSPrebuilt && !isStatic
|
|
|
|
|
|
|
|
|
|
, # Whether to build terminfo.
|
2023-07-23 09:50:55 +01:00
|
|
|
|
enableTerminfo ? !(stdenv.targetPlatform.isWindows
|
|
|
|
|
# terminfo can't be built for cross
|
|
|
|
|
|| (stdenv.buildPlatform != stdenv.hostPlatform)
|
|
|
|
|
|| (stdenv.hostPlatform != stdenv.targetPlatform))
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
, # What flavour to build. An empty string indicates no
|
|
|
|
|
# specific flavour and falls back to ghc default values.
|
|
|
|
|
ghcFlavour ? lib.optionalString (stdenv.targetPlatform != stdenv.hostPlatform)
|
|
|
|
|
(if useLLVM then "perf-cross" else "perf-cross-ncg")
|
|
|
|
|
|
|
|
|
|
, # Whether to build sphinx documentation.
|
|
|
|
|
enableDocs ? (
|
2023-12-20 10:54:22 +00:00
|
|
|
|
# Docs disabled if we are building on musl because it's a large task to keep
|
|
|
|
|
# all `sphinx` dependencies building in this environment.
|
|
|
|
|
!stdenv.buildPlatform.isMusl
|
2023-11-17 10:34:38 +00:00
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
, enableHaddockProgram ?
|
|
|
|
|
# Disabled for cross; see note [HADDOCK_DOCS].
|
2023-07-23 10:10:04 +01:00
|
|
|
|
(stdenv.buildPlatform == stdenv.hostPlatform && stdenv.targetPlatform == stdenv.hostPlatform)
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
, # Whether to disable the large address space allocator
|
|
|
|
|
# necessary fix for iOS: https://www.reddit.com/r/haskell/comments/4ttdz1/building_an_osxi386_to_iosarm64_cross_compiler/d5qvd67/
|
|
|
|
|
disableLargeAddressSpace ? stdenv.targetPlatform.isiOS
|
2023-07-23 10:12:19 +01:00
|
|
|
|
|
|
|
|
|
, # Whether to build an unregisterised version of GHC.
|
|
|
|
|
# GHC will normally auto-detect whether it can do a registered build, but this
|
|
|
|
|
# option will force it to do an unregistered build when set to true.
|
|
|
|
|
# See https://gitlab.haskell.org/ghc/ghc/-/wikis/building/unregisterised
|
|
|
|
|
# Registerised RV64 compiler produces programs that segfault
|
|
|
|
|
# See https://gitlab.haskell.org/ghc/ghc/-/issues/23957
|
|
|
|
|
enableUnregisterised ? stdenv.hostPlatform.isRiscV64 || stdenv.targetPlatform.isRiscV64
|
2023-11-17 10:34:38 +00:00
|
|
|
|
}:
|
|
|
|
|
|
|
|
|
|
assert !enableNativeBignum -> gmp != null;
|
|
|
|
|
|
|
|
|
|
# Cross cannot currently build the `haddock` program for silly reasons,
|
|
|
|
|
# see note [HADDOCK_DOCS].
|
2023-07-23 10:10:04 +01:00
|
|
|
|
assert (stdenv.buildPlatform != stdenv.hostPlatform || stdenv.targetPlatform != stdenv.hostPlatform) -> !enableHaddockProgram;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
2023-07-23 10:13:50 +01:00
|
|
|
|
# GHC does not support building when all 3 platforms are different.
|
|
|
|
|
assert stdenv.buildPlatform == stdenv.hostPlatform || stdenv.hostPlatform == stdenv.targetPlatform;
|
|
|
|
|
|
2023-11-17 10:34:38 +00:00
|
|
|
|
let
|
|
|
|
|
inherit (stdenv) buildPlatform hostPlatform targetPlatform;
|
|
|
|
|
|
|
|
|
|
inherit (bootPkgs) ghc;
|
|
|
|
|
|
|
|
|
|
# TODO(@Ericson2314) Make unconditional
|
|
|
|
|
targetPrefix = lib.optionalString
|
|
|
|
|
(targetPlatform != hostPlatform)
|
|
|
|
|
"${targetPlatform.config}-";
|
|
|
|
|
|
|
|
|
|
buildMK = ''
|
|
|
|
|
BuildFlavour = ${ghcFlavour}
|
|
|
|
|
ifneq \"\$(BuildFlavour)\" \"\"
|
|
|
|
|
include mk/flavours/\$(BuildFlavour).mk
|
|
|
|
|
endif
|
|
|
|
|
BUILD_SPHINX_HTML = ${if enableDocs then "YES" else "NO"}
|
|
|
|
|
BUILD_SPHINX_PDF = NO
|
2023-07-23 09:50:55 +01:00
|
|
|
|
|
|
|
|
|
WITH_TERMINFO = ${if enableTerminfo then "YES" else "NO"}
|
2023-11-17 10:34:38 +00:00
|
|
|
|
'' +
|
|
|
|
|
# Note [HADDOCK_DOCS]:
|
|
|
|
|
# Unfortunately currently `HADDOCK_DOCS` controls both whether the `haddock`
|
|
|
|
|
# program is built (which we generally always want to have a complete GHC install)
|
|
|
|
|
# and whether it is run on the GHC sources to generate hyperlinked source code
|
|
|
|
|
# (which is impossible for cross-compilation); see:
|
|
|
|
|
# https://gitlab.haskell.org/ghc/ghc/-/issues/20077
|
|
|
|
|
# This implies that currently a cross-compiled GHC will never have a `haddock`
|
|
|
|
|
# program, so it can never generate haddocks for any packages.
|
|
|
|
|
# If this is solved in the future, we'd like to unconditionally
|
|
|
|
|
# build the haddock program (removing the `enableHaddockProgram` option).
|
|
|
|
|
''
|
|
|
|
|
HADDOCK_DOCS = ${if enableHaddockProgram then "YES" else "NO"}
|
|
|
|
|
# Build haddocks for boot packages with hyperlinking
|
|
|
|
|
EXTRA_HADDOCK_OPTS += --hyperlinked-source --quickjump
|
|
|
|
|
|
|
|
|
|
DYNAMIC_GHC_PROGRAMS = ${if enableShared then "YES" else "NO"}
|
|
|
|
|
BIGNUM_BACKEND = ${if enableNativeBignum then "native" else "gmp"}
|
|
|
|
|
'' + lib.optionalString (targetPlatform != hostPlatform) ''
|
|
|
|
|
Stage1Only = ${if targetPlatform.system == hostPlatform.system then "NO" else "YES"}
|
|
|
|
|
CrossCompilePrefix = ${targetPrefix}
|
|
|
|
|
'' + lib.optionalString (!enableProfiledLibs) ''
|
2024-02-11 17:06:01 +00:00
|
|
|
|
BUILD_PROF_LIBS = NO
|
2023-11-17 10:34:38 +00:00
|
|
|
|
'' +
|
|
|
|
|
# -fexternal-dynamic-refs apparently (because it's not clear from the documentation)
|
|
|
|
|
# makes the GHC RTS able to load static libraries, which may be needed for TemplateHaskell.
|
|
|
|
|
# This solution was described in https://www.tweag.io/blog/2020-09-30-bazel-static-haskell
|
|
|
|
|
lib.optionalString enableRelocatedStaticLibs ''
|
|
|
|
|
GhcLibHcOpts += -fPIC -fexternal-dynamic-refs
|
|
|
|
|
GhcRtsHcOpts += -fPIC -fexternal-dynamic-refs
|
|
|
|
|
'' + lib.optionalString targetPlatform.useAndroidPrebuilt ''
|
|
|
|
|
EXTRA_CC_OPTS += -std=gnu99
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
# Splicer will pull out correct variations
|
|
|
|
|
libDeps = platform: lib.optional enableTerminfo ncurses
|
|
|
|
|
++ [libffi]
|
|
|
|
|
++ lib.optional (!enableNativeBignum) gmp
|
|
|
|
|
++ lib.optional (platform.libc != "glibc" && !targetPlatform.isWindows) libiconv;
|
|
|
|
|
|
|
|
|
|
# TODO(@sternenseemann): is buildTarget LLVM unnecessary?
|
|
|
|
|
# GHC doesn't seem to have {LLC,OPT}_HOST
|
|
|
|
|
toolsForTarget = [
|
|
|
|
|
pkgsBuildTarget.targetPackages.stdenv.cc
|
|
|
|
|
] ++ lib.optional useLLVM buildTargetLlvmPackages.llvm;
|
|
|
|
|
|
2023-07-23 09:30:35 +01:00
|
|
|
|
buildCC = buildPackages.stdenv.cc;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
targetCC = builtins.head toolsForTarget;
|
haskell.compiler.ghc*: use host->target CC and tools in settings
GHC's build system assumes that the C compiler, tools etc. discovered
during configure can also be used at runtime. This means that the CC,
LD, AR etc. variables given at runtime are used to populate the settings
file which GHC uses to lookup the tools it needs.
The implicit assumption of this mechanism is that the build and runtime
environment of GHC are similar enough and PATH is used to find the
tools. I. e. if we set CC=clang, we wouldn't need to worry about this as
much. We, however, pass absolute paths which is useful since it allows
GHC to work outside of stdenv (as long as e. g. no FFI is involved).
Even so, until now, we didn't really have any problems stemming from
this, as we used pkgsBuildTarget to get everything we need. The
compiler we'd want to execute would in principle need to come
from pkgsHostTarget.
1. For native compilers, all package sets are the same since
build == host == target.
2. For cross compilers build == host, so pkgsBuildTarget
is practically the same as pkgsHostTarget.
When cross-compiling a native compiler, build != host, so we need to
actually ensure that GHC uses different tools at runtime compared to
bootstrapping. There is currently no intended way to achieve this, so we
use a custom tool to edit the settings file. An alternative would be to
patch the build system, but this would be difficult to maintain. We
could go down this route if there's interest from upstream to provide a
proper way to specify the runtime tools.
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2023-07-23 10:01:19 +01:00
|
|
|
|
installCC = pkgsHostTarget.targetPackages.stdenv.cc;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
2024-06-11 12:37:33 +01:00
|
|
|
|
# toolPath calculates the absolute path to the name tool associated with a
|
|
|
|
|
# given `stdenv.cc` derivation, i.e. it picks the correct derivation to take
|
|
|
|
|
# the tool from (cc, cc.bintools, cc.bintools.bintools) and adds the correct
|
|
|
|
|
# subpath of the tool.
|
|
|
|
|
toolPath = name: cc:
|
|
|
|
|
let
|
|
|
|
|
tools = {
|
|
|
|
|
"cc" = cc;
|
|
|
|
|
"c++" = cc;
|
|
|
|
|
as = cc.bintools.bintools;
|
|
|
|
|
|
|
|
|
|
ar = cc.bintools.bintools;
|
|
|
|
|
ranlib = cc.bintools.bintools;
|
|
|
|
|
nm = cc.bintools.bintools;
|
|
|
|
|
readelf = cc.bintools.bintools;
|
|
|
|
|
|
|
|
|
|
ld = cc.bintools;
|
|
|
|
|
"ld.gold" = cc.bintools;
|
|
|
|
|
|
|
|
|
|
otool = cc.bintools.bintools;
|
|
|
|
|
|
2024-07-04 01:03:37 +01:00
|
|
|
|
# GHC needs install_name_tool on all darwin platforms. The same one can
|
|
|
|
|
# be used on both platforms. It is safe to use with linker-generated
|
|
|
|
|
# signatures because it will update the signatures automatically after
|
|
|
|
|
# modifying the target binary.
|
|
|
|
|
install_name_tool = cc.bintools.bintools;
|
|
|
|
|
|
|
|
|
|
# strip on darwin is wrapped to enable deterministic mode.
|
2024-06-11 12:37:33 +01:00
|
|
|
|
strip =
|
|
|
|
|
# TODO(@sternenseemann): also use wrapper if linker == "bfd" or "gold"
|
2024-07-04 01:03:37 +01:00
|
|
|
|
if stdenv.targetPlatform.isDarwin
|
2024-06-11 12:37:33 +01:00
|
|
|
|
then cc.bintools
|
|
|
|
|
else cc.bintools.bintools;
|
|
|
|
|
}.${name};
|
|
|
|
|
in
|
|
|
|
|
"${tools}/bin/${tools.targetPrefix}${name}";
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
# Use gold either following the default, or to avoid the BFD linker due to some bugs / perf issues.
|
|
|
|
|
# But we cannot avoid BFD when using musl libc due to https://sourceware.org/bugzilla/show_bug.cgi?id=23856
|
|
|
|
|
# see #84670 and #49071 for more background.
|
|
|
|
|
useLdGold = targetPlatform.linker == "gold" ||
|
|
|
|
|
(targetPlatform.linker == "bfd" && (targetCC.bintools.bintools.hasGold or false) && !targetPlatform.isMusl);
|
|
|
|
|
|
|
|
|
|
# Makes debugging easier to see which variant is at play in `nix-store -q --tree`.
|
|
|
|
|
variantSuffix = lib.concatStrings [
|
|
|
|
|
(lib.optionalString stdenv.hostPlatform.isMusl "-musl")
|
|
|
|
|
(lib.optionalString enableNativeBignum "-native-bignum")
|
|
|
|
|
];
|
|
|
|
|
|
2023-07-23 09:43:41 +01:00
|
|
|
|
# These libraries are library dependencies of the standard libraries bundled
|
|
|
|
|
# by GHC (core libs) users will link their compiled artifacts again. Thus,
|
|
|
|
|
# they should be taken from targetPackages.
|
|
|
|
|
#
|
|
|
|
|
# We need to use pkgsHostTarget if we are cross compiling a native GHC compiler,
|
|
|
|
|
# though (when native compiling GHC, pkgsHostTarget == targetPackages):
|
|
|
|
|
#
|
|
|
|
|
# 1. targetPackages would be empty(-ish) in this situation since we can't
|
|
|
|
|
# execute cross compiled compilers in order to obtain the libraries
|
|
|
|
|
# that would be in targetPackages.
|
|
|
|
|
# 2. pkgsHostTarget is fine to use since hostPlatform == targetPlatform in this
|
|
|
|
|
# situation.
|
|
|
|
|
# 3. The core libs used by the final GHC (stage 2) for user artifacts are also
|
|
|
|
|
# used to build stage 2 GHC itself, i.e. the core libs are both host and
|
|
|
|
|
# target.
|
|
|
|
|
targetLibs = {
|
|
|
|
|
inherit
|
|
|
|
|
(if hostPlatform != targetPlatform then targetPackages else pkgsHostTarget)
|
|
|
|
|
gmp
|
|
|
|
|
libffi;
|
|
|
|
|
};
|
|
|
|
|
|
2023-11-17 10:34:38 +00:00
|
|
|
|
in
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation (rec {
|
|
|
|
|
pname = "${targetPrefix}ghc${variantSuffix}";
|
2024-05-03 11:34:39 +01:00
|
|
|
|
inherit version;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
src = fetchurl {
|
2024-05-03 11:34:39 +01:00
|
|
|
|
inherit url sha256;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
|
|
|
|
|
outputs = [ "out" "doc" ];
|
|
|
|
|
|
2024-05-04 20:30:28 +01:00
|
|
|
|
patches = lib.optionals (lib.versionOlder version "9.4") [
|
2024-05-03 11:34:39 +01:00
|
|
|
|
# fix hyperlinked haddock sources: https://github.com/haskell/haddock/pull/1482
|
|
|
|
|
(fetchpatch {
|
|
|
|
|
url = "https://patch-diff.githubusercontent.com/raw/haskell/haddock/pull/1482.patch";
|
|
|
|
|
sha256 = "sha256-8w8QUCsODaTvknCDGgTfFNZa8ZmvIKaKS+2ZJZ9foYk=";
|
|
|
|
|
extraPrefix = "utils/haddock/";
|
|
|
|
|
stripLen = 1;
|
|
|
|
|
})
|
2024-05-04 20:30:28 +01:00
|
|
|
|
]
|
2024-05-03 11:34:39 +01:00
|
|
|
|
|
2024-05-04 20:30:28 +01:00
|
|
|
|
++ lib.optionals (lib.versionOlder version "9.4.6") [
|
2024-05-03 11:34:39 +01:00
|
|
|
|
# Fix docs build with sphinx >= 6.0
|
|
|
|
|
# https://gitlab.haskell.org/ghc/ghc/-/issues/22766
|
|
|
|
|
(fetchpatch {
|
|
|
|
|
name = "ghc-docs-sphinx-6.0.patch";
|
|
|
|
|
url = "https://gitlab.haskell.org/ghc/ghc/-/commit/10e94a556b4f90769b7fd718b9790d58ae566600.patch";
|
|
|
|
|
sha256 = "0kmhfamr16w8gch0lgln2912r8aryjky1hfcda3jkcwa5cdzgjdv";
|
|
|
|
|
})
|
2024-05-04 20:30:28 +01:00
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
++ [
|
2024-05-03 11:34:39 +01:00
|
|
|
|
# Fix docs build with Sphinx >= 7 https://gitlab.haskell.org/ghc/ghc/-/issues/24129
|
|
|
|
|
./docs-sphinx-7.patch
|
2024-05-04 20:30:28 +01:00
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
++ lib.optionals (lib.versionOlder version "9.2.2") [
|
|
|
|
|
# Add flag that fixes C++ exception handling; opt-in. Merged in 9.4 and 9.2.2.
|
|
|
|
|
# https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7423
|
2024-05-03 11:34:39 +01:00
|
|
|
|
(fetchpatch {
|
2024-05-04 20:30:28 +01:00
|
|
|
|
name = "ghc-9.0.2-fcompact-unwind.patch";
|
|
|
|
|
# Note that the test suite is not packaged.
|
|
|
|
|
url = "https://gitlab.haskell.org/ghc/ghc/-/commit/c6132c782d974a7701e7f6447bdcd2bf6db4299a.patch?merge_request_iid=7423";
|
|
|
|
|
sha256 = "sha256-b4feGZIaKDj/UKjWTNY6/jH4s2iate0wAgMxG3rAbZI=";
|
2024-05-03 11:34:39 +01:00
|
|
|
|
})
|
2024-05-04 20:30:28 +01:00
|
|
|
|
]
|
|
|
|
|
|
|
|
|
|
++ lib.optionals (lib.versionAtLeast version "9.2") [
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# Don't generate code that doesn't compile when --enable-relocatable is passed to Setup.hs
|
|
|
|
|
# Can be removed if the Cabal library included with ghc backports the linked fix
|
|
|
|
|
(fetchpatch {
|
|
|
|
|
url = "https://github.com/haskell/cabal/commit/6c796218c92f93c95e94d5ec2d077f6956f68e98.patch";
|
|
|
|
|
stripLen = 1;
|
|
|
|
|
extraPrefix = "libraries/Cabal/";
|
|
|
|
|
sha256 = "sha256-yRQ6YmMiwBwiYseC5BsrEtDgFbWvst+maGgDtdD0vAY=";
|
|
|
|
|
})
|
2024-05-03 11:34:39 +01:00
|
|
|
|
]
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
2024-05-03 11:34:39 +01:00
|
|
|
|
++ lib.optionals (version == "9.4.6") [
|
|
|
|
|
# Work around a type not being defined when including Rts.h in bytestring's cbits
|
|
|
|
|
# due to missing feature macros. See https://gitlab.haskell.org/ghc/ghc/-/issues/23810.
|
|
|
|
|
./9.4.6-bytestring-posix-source.patch
|
2024-05-04 20:30:28 +01:00
|
|
|
|
]
|
|
|
|
|
|
2024-05-03 11:34:39 +01:00
|
|
|
|
++ lib.optionals (stdenv.targetPlatform.isDarwin && stdenv.targetPlatform.isAarch64) [
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# Prevent the paths module from emitting symbols that we don't use
|
|
|
|
|
# when building with separate outputs.
|
|
|
|
|
#
|
|
|
|
|
# These cause problems as they're not eliminated by GHC's dead code
|
|
|
|
|
# elimination on aarch64-darwin. (see
|
|
|
|
|
# https://github.com/NixOS/nixpkgs/issues/140774 for details).
|
2024-05-03 11:34:39 +01:00
|
|
|
|
(if lib.versionAtLeast version "9.2"
|
|
|
|
|
then ./Cabal-at-least-3.6-paths-fix-cycle-aarch64-darwin.patch
|
|
|
|
|
else ./Cabal-3.2-3.4-paths-fix-cycle-aarch64-darwin.patch)
|
2023-11-17 10:34:38 +00:00
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
postPatch = "patchShebangs .";
|
|
|
|
|
|
|
|
|
|
# GHC needs the locale configured during the Haddock phase.
|
|
|
|
|
LANG = "en_US.UTF-8";
|
|
|
|
|
|
|
|
|
|
# GHC is a bit confused on its cross terminology.
|
|
|
|
|
# TODO(@sternenseemann): investigate coreutils dependencies and pass absolute paths
|
|
|
|
|
preConfigure = ''
|
|
|
|
|
for env in $(env | grep '^TARGET_' | sed -E 's|\+?=.*||'); do
|
|
|
|
|
export "''${env#TARGET_}=''${!env}"
|
|
|
|
|
done
|
|
|
|
|
# GHC is a bit confused on its cross terminology, as these would normally be
|
|
|
|
|
# the *host* tools.
|
2024-06-11 12:37:33 +01:00
|
|
|
|
export CC="${toolPath "cc" targetCC}"
|
|
|
|
|
export CXX="${toolPath "c++" targetCC}"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# Use gold to work around https://sourceware.org/bugzilla/show_bug.cgi?id=16177
|
2024-06-11 12:37:33 +01:00
|
|
|
|
export LD="${toolPath "ld${lib.optionalString useLdGold ".gold"}" targetCC}"
|
|
|
|
|
export AS="${toolPath "as" targetCC}"
|
|
|
|
|
export AR="${toolPath "ar" targetCC}"
|
|
|
|
|
export NM="${toolPath "nm" targetCC}"
|
|
|
|
|
export RANLIB="${toolPath "ranlib" targetCC}"
|
|
|
|
|
export READELF="${toolPath "readelf" targetCC}"
|
|
|
|
|
export STRIP="${toolPath "strip" targetCC}"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
'' + lib.optionalString (stdenv.targetPlatform.linker == "cctools") ''
|
2024-06-11 12:37:33 +01:00
|
|
|
|
export OTOOL="${toolPath "otool" targetCC}"
|
|
|
|
|
export INSTALL_NAME_TOOL="${toolPath "install_name_tool" targetCC}"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
'' + lib.optionalString useLLVM ''
|
|
|
|
|
export LLC="${lib.getBin buildTargetLlvmPackages.llvm}/bin/llc"
|
|
|
|
|
export OPT="${lib.getBin buildTargetLlvmPackages.llvm}/bin/opt"
|
|
|
|
|
'' + lib.optionalString (useLLVM && stdenv.targetPlatform.isDarwin) ''
|
|
|
|
|
# LLVM backend on Darwin needs clang: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/codegens.html#llvm-code-generator-fllvm
|
|
|
|
|
export CLANG="${buildTargetLlvmPackages.clang}/bin/${buildTargetLlvmPackages.clang.targetPrefix}clang"
|
2024-05-03 11:34:39 +01:00
|
|
|
|
''
|
2024-05-05 13:06:58 +01:00
|
|
|
|
+ ''
|
2023-07-23 09:30:35 +01:00
|
|
|
|
# No need for absolute paths since these tools only need to work during the build
|
|
|
|
|
export CC_STAGE0="$CC_FOR_BUILD"
|
|
|
|
|
export LD_STAGE0="$LD_FOR_BUILD"
|
|
|
|
|
export AR_STAGE0="$AR_FOR_BUILD"
|
|
|
|
|
|
2023-11-17 10:34:38 +00:00
|
|
|
|
echo -n "${buildMK}" > mk/build.mk
|
2024-05-03 11:34:39 +01:00
|
|
|
|
''
|
|
|
|
|
+ lib.optionalString (lib.versionOlder version "9.2" || lib.versionAtLeast version "9.4") ''
|
2023-11-17 10:34:38 +00:00
|
|
|
|
sed -i -e 's|-isysroot /Developer/SDKs/MacOSX10.5.sdk||' configure
|
|
|
|
|
'' + lib.optionalString (stdenv.isLinux && hostPlatform.libc == "glibc") ''
|
|
|
|
|
export LOCALE_ARCHIVE="${glibcLocales}/lib/locale/locale-archive"
|
|
|
|
|
'' + lib.optionalString (!stdenv.isDarwin) ''
|
|
|
|
|
export NIX_LDFLAGS+=" -rpath $out/lib/ghc-${version}"
|
|
|
|
|
'' + lib.optionalString stdenv.isDarwin ''
|
|
|
|
|
export NIX_LDFLAGS+=" -no_dtrace_dof"
|
2024-05-03 11:34:39 +01:00
|
|
|
|
'' + lib.optionalString (stdenv.isDarwin && lib.versionAtLeast version "9.2") ''
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
# GHC tries the host xattr /usr/bin/xattr by default which fails since it expects python to be 2.7
|
|
|
|
|
export XATTR=${lib.getBin xattr}/bin/xattr
|
|
|
|
|
'' + lib.optionalString targetPlatform.useAndroidPrebuilt ''
|
|
|
|
|
sed -i -e '5i ,("armv7a-unknown-linux-androideabi", ("e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64", "cortex-a8", ""))' llvm-targets
|
|
|
|
|
'' + lib.optionalString targetPlatform.isMusl ''
|
|
|
|
|
echo "patching llvm-targets for musl targets..."
|
|
|
|
|
echo "Cloning these existing '*-linux-gnu*' targets:"
|
|
|
|
|
grep linux-gnu llvm-targets | sed 's/^/ /'
|
|
|
|
|
echo "(go go gadget sed)"
|
|
|
|
|
sed -i 's,\(^.*linux-\)gnu\(.*\)$,\0\n\1musl\2,' llvm-targets
|
|
|
|
|
echo "llvm-targets now contains these '*-linux-musl*' targets:"
|
|
|
|
|
grep linux-musl llvm-targets | sed 's/^/ /'
|
|
|
|
|
|
|
|
|
|
echo "And now patching to preserve '-musleabi' as done with '-gnueabi'"
|
|
|
|
|
# (aclocal.m4 is actual source, but patch configure as well since we don't re-gen)
|
|
|
|
|
for x in configure aclocal.m4; do
|
|
|
|
|
substituteInPlace $x \
|
|
|
|
|
--replace '*-android*|*-gnueabi*)' \
|
|
|
|
|
'*-android*|*-gnueabi*|*-musleabi*)'
|
|
|
|
|
done
|
|
|
|
|
''
|
|
|
|
|
# HACK: allow bootstrapping with GHC 8.10 which works fine, as we don't have
|
|
|
|
|
# binary 9.0 packaged. Bootstrapping with 9.2 is broken without hadrian.
|
2024-05-03 11:34:39 +01:00
|
|
|
|
+ lib.optionalString (lib.versions.majorMinor version == "9.4") ''
|
2023-11-17 10:34:38 +00:00
|
|
|
|
substituteInPlace configure --replace \
|
|
|
|
|
'MinBootGhcVersion="9.0"' \
|
|
|
|
|
'MinBootGhcVersion="8.10"'
|
|
|
|
|
'';
|
|
|
|
|
|
2023-07-23 09:56:56 +01:00
|
|
|
|
# Although it is usually correct to pass --host, we don't do that here because
|
|
|
|
|
# GHC's usage of build, host, and target is non-standard.
|
|
|
|
|
# See https://gitlab.haskell.org/ghc/ghc/-/wikis/building/cross-compiling
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# TODO(@Ericson2314): Always pass "--target" and always prefix.
|
2023-07-23 09:56:56 +01:00
|
|
|
|
configurePlatforms = [ "build" ]
|
|
|
|
|
++ lib.optional (buildPlatform != hostPlatform || targetPlatform != hostPlatform) "target";
|
2023-11-17 10:34:38 +00:00
|
|
|
|
|
|
|
|
|
# `--with` flags for libraries needed for RTS linker
|
|
|
|
|
configureFlags = [
|
|
|
|
|
"--datadir=$doc/share/doc/ghc"
|
|
|
|
|
] ++ lib.optionals (libffi != null) [
|
|
|
|
|
"--with-system-libffi"
|
2023-07-23 09:43:41 +01:00
|
|
|
|
"--with-ffi-includes=${targetLibs.libffi.dev}/include"
|
|
|
|
|
"--with-ffi-libraries=${targetLibs.libffi.out}/lib"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
] ++ lib.optionals (targetPlatform == hostPlatform && !enableNativeBignum) [
|
2023-07-23 09:43:41 +01:00
|
|
|
|
"--with-gmp-includes=${targetLibs.gmp.dev}/include"
|
|
|
|
|
"--with-gmp-libraries=${targetLibs.gmp.out}/lib"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
] ++ lib.optionals (targetPlatform == hostPlatform && hostPlatform.libc != "glibc" && !targetPlatform.isWindows) [
|
|
|
|
|
"--with-iconv-includes=${libiconv}/include"
|
|
|
|
|
"--with-iconv-libraries=${libiconv}/lib"
|
|
|
|
|
] ++ lib.optionals (targetPlatform != hostPlatform) [
|
|
|
|
|
"--enable-bootstrap-with-devel-snapshot"
|
|
|
|
|
] ++ lib.optionals useLdGold [
|
|
|
|
|
"CFLAGS=-fuse-ld=gold"
|
|
|
|
|
"CONF_GCC_LINKER_OPTS_STAGE1=-fuse-ld=gold"
|
|
|
|
|
"CONF_GCC_LINKER_OPTS_STAGE2=-fuse-ld=gold"
|
|
|
|
|
] ++ lib.optionals (disableLargeAddressSpace) [
|
|
|
|
|
"--disable-large-address-space"
|
2023-07-23 10:12:19 +01:00
|
|
|
|
] ++ lib.optionals enableUnregisterised [
|
|
|
|
|
"--enable-unregisterised"
|
2023-11-17 10:34:38 +00:00
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# Make sure we never relax`$PATH` and hooks support for compatibility.
|
|
|
|
|
strictDeps = true;
|
|
|
|
|
|
|
|
|
|
# Don’t add -liconv to LDFLAGS automatically so that GHC will add it itself.
|
|
|
|
|
dontAddExtraLibs = true;
|
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [
|
|
|
|
|
perl autoconf automake m4 python3
|
|
|
|
|
ghc bootPkgs.alex bootPkgs.happy bootPkgs.hscolour
|
haskell.compiler.ghc*: use host->target CC and tools in settings
GHC's build system assumes that the C compiler, tools etc. discovered
during configure can also be used at runtime. This means that the CC,
LD, AR etc. variables given at runtime are used to populate the settings
file which GHC uses to lookup the tools it needs.
The implicit assumption of this mechanism is that the build and runtime
environment of GHC are similar enough and PATH is used to find the
tools. I. e. if we set CC=clang, we wouldn't need to worry about this as
much. We, however, pass absolute paths which is useful since it allows
GHC to work outside of stdenv (as long as e. g. no FFI is involved).
Even so, until now, we didn't really have any problems stemming from
this, as we used pkgsBuildTarget to get everything we need. The
compiler we'd want to execute would in principle need to come
from pkgsHostTarget.
1. For native compilers, all package sets are the same since
build == host == target.
2. For cross compilers build == host, so pkgsBuildTarget
is practically the same as pkgsHostTarget.
When cross-compiling a native compiler, build != host, so we need to
actually ensure that GHC uses different tools at runtime compared to
bootstrapping. There is currently no intended way to achieve this, so we
use a custom tool to edit the settings file. An alternative would be to
patch the build system, but this would be difficult to maintain. We
could go down this route if there's interest from upstream to provide a
proper way to specify the runtime tools.
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2023-07-23 10:01:19 +01:00
|
|
|
|
bootPkgs.ghc-settings-edit
|
2023-11-17 10:34:38 +00:00
|
|
|
|
] ++ lib.optionals (stdenv.isDarwin && stdenv.isAarch64) [
|
|
|
|
|
autoSignDarwinBinariesHook
|
|
|
|
|
] ++ lib.optionals enableDocs [
|
|
|
|
|
sphinx
|
2024-05-03 11:34:39 +01:00
|
|
|
|
] ++ lib.optionals (stdenv.isDarwin && lib.versions.majorMinor version == "9.0") [
|
|
|
|
|
# TODO(@sternenseemann): backport addition of XATTR env var like
|
|
|
|
|
# https://gitlab.haskell.org/ghc/ghc/-/merge_requests/6447
|
|
|
|
|
xattr
|
2023-11-17 10:34:38 +00:00
|
|
|
|
];
|
|
|
|
|
|
2023-07-23 09:30:35 +01:00
|
|
|
|
# Used by the STAGE0 compiler to build stage1
|
|
|
|
|
depsBuildBuild = [
|
|
|
|
|
buildCC
|
2023-07-23 09:50:55 +01:00
|
|
|
|
# stage0 builds terminfo unconditionally, so we always need ncurses
|
|
|
|
|
ncurses
|
2023-07-23 09:30:35 +01:00
|
|
|
|
];
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# For building runtime libs
|
|
|
|
|
depsBuildTarget = toolsForTarget;
|
|
|
|
|
|
|
|
|
|
buildInputs = [ perl bash ] ++ (libDeps hostPlatform);
|
|
|
|
|
|
|
|
|
|
depsTargetTarget = map lib.getDev (libDeps targetPlatform);
|
|
|
|
|
depsTargetTargetPropagated = map (lib.getOutput "out") (libDeps targetPlatform);
|
|
|
|
|
|
|
|
|
|
# required, because otherwise all symbols from HSffi.o are stripped, and
|
|
|
|
|
# that in turn causes GHCi to abort
|
|
|
|
|
stripDebugFlags = [ "-S" ] ++ lib.optional (!targetPlatform.isDarwin) "--keep-file-symbols";
|
|
|
|
|
|
|
|
|
|
checkTarget = "test";
|
|
|
|
|
|
|
|
|
|
hardeningDisable =
|
|
|
|
|
[ "format" ]
|
|
|
|
|
# In nixpkgs, musl based builds currently enable `pie` hardening by default
|
|
|
|
|
# (see `defaultHardeningFlags` in `make-derivation.nix`).
|
|
|
|
|
# But GHC cannot currently produce outputs that are ready for `-pie` linking.
|
|
|
|
|
# Thus, disable `pie` hardening, otherwise `recompile with -fPIE` errors appear.
|
|
|
|
|
# See:
|
|
|
|
|
# * https://github.com/NixOS/nixpkgs/issues/129247
|
|
|
|
|
# * https://gitlab.haskell.org/ghc/ghc/-/issues/19580
|
|
|
|
|
++ lib.optional stdenv.targetPlatform.isMusl "pie";
|
|
|
|
|
|
|
|
|
|
# big-parallel allows us to build with more than 2 cores on
|
|
|
|
|
# Hydra which already warrants a significant speedup
|
|
|
|
|
requiredSystemFeatures = [ "big-parallel" ];
|
|
|
|
|
|
|
|
|
|
postInstall = ''
|
haskell.compiler.ghc*: use host->target CC and tools in settings
GHC's build system assumes that the C compiler, tools etc. discovered
during configure can also be used at runtime. This means that the CC,
LD, AR etc. variables given at runtime are used to populate the settings
file which GHC uses to lookup the tools it needs.
The implicit assumption of this mechanism is that the build and runtime
environment of GHC are similar enough and PATH is used to find the
tools. I. e. if we set CC=clang, we wouldn't need to worry about this as
much. We, however, pass absolute paths which is useful since it allows
GHC to work outside of stdenv (as long as e. g. no FFI is involved).
Even so, until now, we didn't really have any problems stemming from
this, as we used pkgsBuildTarget to get everything we need. The
compiler we'd want to execute would in principle need to come
from pkgsHostTarget.
1. For native compilers, all package sets are the same since
build == host == target.
2. For cross compilers build == host, so pkgsBuildTarget
is practically the same as pkgsHostTarget.
When cross-compiling a native compiler, build != host, so we need to
actually ensure that GHC uses different tools at runtime compared to
bootstrapping. There is currently no intended way to achieve this, so we
use a custom tool to edit the settings file. An alternative would be to
patch the build system, but this would be difficult to maintain. We
could go down this route if there's interest from upstream to provide a
proper way to specify the runtime tools.
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2023-07-23 10:01:19 +01:00
|
|
|
|
settingsFile="$out/lib/${targetPrefix}${passthru.haskellCompilerName}/settings"
|
|
|
|
|
|
|
|
|
|
# Make the installed GHC use the host->target tools.
|
|
|
|
|
ghc-settings-edit "$settingsFile" \
|
|
|
|
|
"C compiler command" "${toolPath "cc" installCC}" \
|
|
|
|
|
"Haskell CPP command" "${toolPath "cc" installCC}" \
|
|
|
|
|
"C++ compiler command" "${toolPath "c++" installCC}" \
|
|
|
|
|
"ld command" "${toolPath "ld${lib.optionalString useLdGold ".gold"}" installCC}" \
|
|
|
|
|
"Merge objects command" "${toolPath "ld${lib.optionalString useLdGold ".gold"}" installCC}" \
|
|
|
|
|
"ar command" "${toolPath "ar" installCC}" \
|
|
|
|
|
"ranlib command" "${toolPath "ranlib" installCC}"
|
2024-09-05 22:41:28 +01:00
|
|
|
|
''
|
|
|
|
|
+ lib.optionalString (stdenv.targetPlatform.linker == "cctools") ''
|
|
|
|
|
ghc-settings-edit "$settingsFile" \
|
|
|
|
|
"otool command" "${toolPath "otool" installCC}" \
|
|
|
|
|
"install_name_tool command" "${toolPath "install_name_tool" installCC}"
|
|
|
|
|
''
|
2024-09-05 22:44:11 +01:00
|
|
|
|
+ lib.optionalString useLLVM ''
|
|
|
|
|
ghc-settings-edit "$settingsFile" \
|
|
|
|
|
"LLVM llc command" "${lib.getBin llvmPackages.llvm}/bin/llc" \
|
|
|
|
|
"LLVM opt command" "${lib.getBin llvmPackages.llvm}/bin/opt"
|
|
|
|
|
''
|
|
|
|
|
# FIXME(@sternenseemann): use installCC instead if possible
|
|
|
|
|
+ lib.optionalString (useLLVM && stdenv.targetPlatform.isDarwin) ''
|
|
|
|
|
ghc-settings-edit "$settingsFile" \
|
|
|
|
|
"LLVM clang command" "${llvmPackages.clang}/bin/${llvmPackages.clang.targetPrefix}clang"
|
|
|
|
|
''
|
2024-09-05 22:41:28 +01:00
|
|
|
|
+ ''
|
haskell.compiler.ghc*: use host->target CC and tools in settings
GHC's build system assumes that the C compiler, tools etc. discovered
during configure can also be used at runtime. This means that the CC,
LD, AR etc. variables given at runtime are used to populate the settings
file which GHC uses to lookup the tools it needs.
The implicit assumption of this mechanism is that the build and runtime
environment of GHC are similar enough and PATH is used to find the
tools. I. e. if we set CC=clang, we wouldn't need to worry about this as
much. We, however, pass absolute paths which is useful since it allows
GHC to work outside of stdenv (as long as e. g. no FFI is involved).
Even so, until now, we didn't really have any problems stemming from
this, as we used pkgsBuildTarget to get everything we need. The
compiler we'd want to execute would in principle need to come
from pkgsHostTarget.
1. For native compilers, all package sets are the same since
build == host == target.
2. For cross compilers build == host, so pkgsBuildTarget
is practically the same as pkgsHostTarget.
When cross-compiling a native compiler, build != host, so we need to
actually ensure that GHC uses different tools at runtime compared to
bootstrapping. There is currently no intended way to achieve this, so we
use a custom tool to edit the settings file. An alternative would be to
patch the build system, but this would be difficult to maintain. We
could go down this route if there's interest from upstream to provide a
proper way to specify the runtime tools.
Co-authored-by: sternenseemann <sternenseemann@systemli.org>
2023-07-23 10:01:19 +01:00
|
|
|
|
|
2023-11-17 10:34:38 +00:00
|
|
|
|
# Install the bash completion file.
|
|
|
|
|
install -D -m 444 utils/completion/ghc.bash $out/share/bash-completion/completions/${targetPrefix}ghc
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
|
inherit bootPkgs targetPrefix;
|
|
|
|
|
|
|
|
|
|
inherit llvmPackages;
|
|
|
|
|
inherit enableShared;
|
|
|
|
|
|
|
|
|
|
# This is used by the haskell builder to query
|
|
|
|
|
# the presence of the haddock program.
|
|
|
|
|
hasHaddock = enableHaddockProgram;
|
|
|
|
|
|
|
|
|
|
# Our Cabal compiler name
|
|
|
|
|
haskellCompilerName = "ghc-${version}";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
|
homepage = "http://haskell.org/ghc";
|
|
|
|
|
description = "Glasgow Haskell Compiler";
|
|
|
|
|
maintainers = with lib.maintainers; [
|
|
|
|
|
guibou
|
|
|
|
|
] ++ lib.teams.haskell.members;
|
|
|
|
|
timeout = 24 * 3600;
|
2023-07-23 10:16:26 +01:00
|
|
|
|
platforms = lib.platforms.all;
|
|
|
|
|
inherit (ghc.meta) license;
|
2023-11-17 10:34:38 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
} // lib.optionalAttrs targetPlatform.useAndroidPrebuilt {
|
|
|
|
|
dontStrip = true;
|
|
|
|
|
dontPatchELF = true;
|
|
|
|
|
noAuditTmpdir = true;
|
|
|
|
|
})
|