diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghc.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index ad11ee1528..c231347c0b 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -10,6 +10,7 @@ # # ----------------------------------------------------------------------------- +ifeq "$(GhcWithInterpreter)" "YES" ifneq "$(Windows_Host)" "YES" install: install_driver_ghci @@ -62,4 +63,5 @@ install_driver_ghcii: $(EXECUTABLE_FILE) $(GHCII_SCRIPT_VERSIONED) endif +endif |