Skip to content

Commit a00e5d2

Browse files
committed
Add extra quotes.
1 parent 3a5fb71 commit a00e5d2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

dynamic.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,7 @@ pkgs.mkShell {
8484
export DYLD_LIBRARY_PATH="${lib.getLib openssl}/lib"
8585
''
8686
+ lib.optionalString withGHCTooling ''
87-
export HADRIAN_CONFIGURE_FLAGS=--with-gmp-includes="${lib.getDev gmp}/include" --with-gmp-libraries="${lib.getLib gmp}/lib"
87+
export HADRIAN_CONFIGURE_FLAGS="--with-gmp-includes=\"${lib.getDev gmp}/include\" --with-gmp-libraries=\"${lib.getLib gmp}/lib\""
8888
echo "HADRIAN_CONFIGURE_FLAGS set to $HADRIAN_CONFIGURE_FLAGS"
8989
echo "To build GHC, run"
9090
echo " ./boot"

0 commit comments

Comments
 (0)