We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent af73d6d commit 793fc47Copy full SHA for 793fc47
dynamic.nix
@@ -85,11 +85,13 @@ pkgs.mkShell {
85
''
86
+ lib.optionalString withGHCTooling ''
87
export HADRIAN_CONFIGURE_FLAGS="--with-gmp-includes=\"${lib.getDev gmp}/include\" --with-gmp-libraries=\"${lib.getLib gmp}/lib\""
88
+ echo "======= Building with Hadrian ======="
89
echo "HADRIAN_CONFIGURE_FLAGS set to $HADRIAN_CONFIGURE_FLAGS"
90
echo "To build GHC, run"
91
echo " ./boot"
92
echo " ./configure \"$HADRIAN_CONFIGURE_FLAGS\""
93
echo " ./hadrian/build -j"
94
+ echo "======= End of Hadrian build ======="
95
'';
96
97
buildInputs =
0 commit comments