diff options
author | Sylvain Henry <sylvain@haskus.fr> | 2019-11-28 11:59:25 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-30 02:59:13 -0500 |
commit | d1de5c227160f555ea6d5679791388a980910c88 (patch) | |
tree | 33a3ce8f3228bf8229b4a018672d206d2aad3373 /validate | |
parent | 5aba5d3218330f8ce127aa7767efcbb6f63a2db1 (diff) | |
download | haskell-d1de5c227160f555ea6d5679791388a980910c88.tar.gz |
Use Hadrian by default in validate script (#17527)
Diffstat (limited to 'validate')
-rwxr-xr-x | validate | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -11,7 +11,7 @@ https://gitlab.haskell.org/ghc/ghc/wikis/testing-patches for more information. Flags: - --no-clean don't make clean first, just carry on from + --no-clean don't clean first, just carry on from a previous interrupted validation run --testsuite-only don't build the compiler, just run the test suite --build-only don't test the compiler, just build it @@ -25,8 +25,10 @@ Flags: 2008-07-01: 14% slower than the default. --quiet More pretty build log. See Note [Default build system verbosity]. - --hadrian Build the compiler and run the tests through hadrian. - --stack Use Stack to build Hadrian and the Stage 1 compiler. + --legacy Build the compiler and run the tests through the legacy + make-based build system. + --stack Use Stack to build Hadrian and to provide the bootstrap + compiler. --help shows this usage help. validate runs 'make -j\$THREADS', where by default THREADS is the number of @@ -56,8 +58,9 @@ be_quiet=0 # heavy cost of xz, which is the typical default. The options are defined in # mk/config.mk.in tar_comp=gzip -use_hadrian=NO +use_hadrian=YES use_stack=NO +hadrian_build_root=_validatebuild while [ $# -gt 0 ] do @@ -86,9 +89,8 @@ do --quiet) be_quiet=1 ;; - --hadrian) - use_hadrian=YES - hadrian_build_root=_validatebuild + --legacy) + use_hadrian=NO ;; --stack) use_stack=YES |