diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | ghc.mk | 3 | ||||
| -rw-r--r-- | mk/custom-settings.mk | 3 | ||||
| -rwxr-xr-x | validate | 18 |
4 files changed, 18 insertions, 7 deletions
diff --git a/.gitignore b/.gitignore index 33664d70e7..322ae6a8a0 100644 --- a/.gitignore +++ b/.gitignore @@ -135,6 +135,7 @@ _darcs/ /libraries/plus.gif /libraries/synopsis.png /libraries/stamp/ +/mk/are-validating.mk /mk/build.mk /mk/config.h /mk/config.h.in @@ -1327,6 +1327,9 @@ clean_bindistprep: $(call removeTrees,bindistprep/) distclean : clean +# Clean the files that ./validate creates. + $(call removeFiles,mk/are-validating.mk) + # Clean the files that we ask ./configure to create. $(call removeFiles,mk/config.mk) $(call removeFiles,mk/install.mk) diff --git a/mk/custom-settings.mk b/mk/custom-settings.mk index 5f9814b252..2b4b127102 100644 --- a/mk/custom-settings.mk +++ b/mk/custom-settings.mk @@ -1,3 +1,6 @@ + +-include mk/are-validating.mk + ifeq "$(Validating)" "YES" include mk/flavours/validate.mk -include mk/validate.mk @@ -174,7 +174,9 @@ fi thisdir=`utils/ghc-pwd/dist-boot/ghc-pwd` -make_settings="Validating=YES ValidateSpeed=$speed ValidateHpc=$hpc" +echo "Validating=YES" > mk/are-validating.mk +echo "ValidateSpeed=$speed" >> mk/are-validating.mk +echo "ValidateHpc=$hpc" >> mk/are-validating.mk # Note [Default build system verbosity]. # @@ -188,14 +190,16 @@ make_settings="Validating=YES ValidateSpeed=$speed ValidateHpc=$hpc" # `make -s`, when user explicitly asks for it with `./validate --quiet`. if [ $be_quiet -eq 1 ]; then # See Note [Default build system verbosity]. - make_settings="$make_settings V=0" + echo "V=0" >> mk/are-validating.mk # Less gunk fi if [ $use_dph -eq 1 ]; then - make_settings="$make_settings BUILD_DPH=YES" + echo "BUILD_DPH=YES" >> mk/are-validating.mk +else + echo "BUILD_DPH=NO" >> mk/are-validating.mk fi -$make -j$threads $make_settings +$make -j$threads # For a "debug make", add "--debug=b --debug=m" check_packages post-build @@ -205,8 +209,8 @@ check_packages post-build if [ $speed != "FAST" ]; then - $make binary-dist-prep $make_settings - $make test_bindist TEST_PREP=YES $make_settings + $make binary-dist-prep + $make test_bindist TEST_PREP=YES # # Install the xhtml package into the bindist. @@ -217,7 +221,7 @@ if [ $speed != "FAST" ]; then check_packages post-install - $make validate_build_xhtml BINDIST_PREFIX="$thisdir/$bindistdir" $make_settings + $make validate_build_xhtml BINDIST_PREFIX="$thisdir/$bindistdir" check_packages post-xhtml fi |