diff options
Diffstat (limited to 'libraries/ghci/ghc.mk')
-rw-r--r-- | libraries/ghci/ghc.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libraries/ghci/ghc.mk b/libraries/ghci/ghc.mk new file mode 100644 index 0000000000..dc6a891bf3 --- /dev/null +++ b/libraries/ghci/ghc.mk @@ -0,0 +1,5 @@ +libraries/ghci_PACKAGE = ghci +libraries/ghci_dist-install_GROUP = libraries +$(if $(filter ghci,$(PACKAGES_STAGE0)),$(eval $(call build-package,libraries/ghci,dist-boot,0))) +$(if $(filter ghci,$(PACKAGES_STAGE1)),$(eval $(call build-package,libraries/ghci,dist-install,1))) +$(if $(filter ghci,$(PACKAGES_STAGE2)),$(eval $(call build-package,libraries/ghci,dist-install,2))) |