Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Add --slow (and --fast) options to validate | Ian Lynagh | 2008-07-01 | 1 | -11/+17 | |
| | | | | | | | slow mode is 14% slower than normal. It uses -DDEBUG for the stage 2 compiler, and -XGenerics for the stage 2 compiler and the libraries. I believe that most of the slowdown is actually caused by -XGenerics rather than -DDEBUG. | |||||
* | Make a "validate --hpc"; shows how much of the compiler the testsuite tests | Ian Lynagh | 2008-07-01 | 1 | -1/+29 | |
| | | | | | Currently it causes a load of ghci-debugger tests to fail and takes 63% longer. | |||||
* | Tell the testsuite how many threads we want it to use when validating | Ian Lynagh | 2008-06-11 | 1 | -2/+1 | |
| | ||||||
* | When validating, configure with "--prefix=`pwd`/inst" | Ian Lynagh | 2008-05-02 | 1 | -1/+1 | |
| | | | | | | | This means a validate build can be installed locally. `pwd`/inst probably won't give a useful value on all platforms (in particular there are probably some Windows configurations it doesn't work for), but I don't think it will ever make the build fail. | |||||
* | Fix typo | Ian Lynagh | 2008-03-02 | 1 | -4/+4 | |
| | ||||||
* | Add comments explaining flags | simonpj@microsoft.com | 2008-02-28 | 1 | -0/+6 | |
| | ||||||
* | Allow skipping "make clean" or only re-running the testsuite in validate | Ian Lynagh | 2008-02-10 | 1 | -22/+57 | |
| | ||||||
* | Build settings for validation are now in mk/validate-settings.mk | Ian Lynagh | 2007-09-05 | 1 | -17/+2 | |
| | ||||||
* | Fix and supress some warnings, and turn on -Werror when validating | Ian Lynagh | 2007-09-02 | 1 | -3/+5 | |
| | ||||||
* | fix typo | Simon Marlow | 2007-08-24 | 1 | -1/+1 | |
| | ||||||
* | Check haddocking works when validating | Ian Lynagh | 2007-08-24 | 1 | -2/+3 | |
| | ||||||
* | #1559 is worked around elsewhere, so validate no longer needs to | Ian Lynagh | 2007-07-30 | 1 | -6/+2 | |
| | ||||||
* | Use "set -e" in validate, so "sh validate" still has it set | Ian Lynagh | 2007-07-29 | 1 | -1/+3 | |
| | ||||||
* | make validate work on Windows | Simon Marlow | 2007-07-25 | 1 | -3/+21 | |
| | | | | | | | | | | | | This includes automatically adding --build=i386-unknown-mingw32 and --with-gcc to ./configure, and disabling -j2 (see #1559). Also: you can now say CPUS=3 ./validate and the script will pass -jN to make (where N = $CPUS + 1). In the future, when we fix #1558, it can pass THREADS=N to the testsuite, too. | |||||
* | Check for framework failures and unexpected passes in validate | Ian Lynagh | 2007-07-22 | 1 | -2/+6 | |
| | ||||||
* | Use CLEANUP=1 when running the testsuite from validate | Ian Lynagh | 2007-07-22 | 1 | -1/+1 | |
| | ||||||
* | allow build settings to be overriden by adding mk/validate.mk | Simon Marlow | 2007-07-07 | 1 | -0/+6 | |
| | ||||||
* | Add first cut of the validate script | Simon Marlow | 2007-07-04 | 1 | -0/+37 | |