diff options
Diffstat (limited to 'distrib/Makefile')
-rw-r--r-- | distrib/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index bfa3b91297..951ec7e40e 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -27,6 +27,7 @@ install:: $(MAKE) -C rts install DOING_BIN_DIST=YES $(MAKE) -C libraries install DOING_BIN_DIST=YES $(MAKE) -C compiler install DOING_BIN_DIST=YES + $(MAKE) -C ghc install DOING_BIN_DIST=YES $(MAKE) -C gmp install DOING_BIN_DIST=YES $(MAKE) -C docs install-docs DOING_BIN_DIST=YES $(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES |