install-strip

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

install-strip

Jonathon Delgado
Trying to build 7.8.4 from the source distribution (linux).

make install-strip should work as per trac #1851, and the target does indeed appear in distrib/Makefile. However, the build uses the top-level Makefile, which doesn't, leading to

# make install-strip
===--- building phase 0
make -r --no-print-directory -f ghc.mk phase=0 phase_0_builds
make[1]: Nothing to be done for `phase_0_builds'.
===--- building phase 1
make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds
make[1]: Nothing to be done for `phase_1_builds'.
===--- building final phase
make -r --no-print-directory -f ghc.mk phase=final install-strip
make[1]: *** No rule to make target `install-strip'.  Stop.
make: *** [install-strip] Error 2

Am I doing something wrong?