summaryrefslogtreecommitdiff
path: root/validate
Commit message (Collapse)AuthorAgeFilesLines
* Update meta-repo stuffIan Lynagh2011-03-311-0/+0
|
* For bindists, build ghc-pwd with stage 1Ian Lynagh2010-11-211-1/+1
| | | | | | rather then the bootstrapping compiler. This fixes problems where the bootstrapping compiler dynamically links against libraries not on the target machine.
* Have boot check that we have the dph packages when validatingIan Lynagh2010-10-141-1/+1
|
* Make "./validate --slow" run the full testsuiteIan Lynagh2010-10-071-1/+8
|
* make test and fulltest targets in the main Makefile; fixes #4297Ian Lynagh2010-09-301-1/+1
| | | | | | You can now run "make test" in the root, and the fast testsuite will be run with cleaning enabled. It will also put the summary in testsuite_summary.txt.
* In validate, use gmake if available; based on a patch from Gabor PALIIan Lynagh2010-05-171-5/+12
|
* Add a ghc.mk for bindisttest/Ian Lynagh2010-05-081-1/+1
|
* Convert boot and boot-pkgs to perlIan Lynagh2010-04-151-1/+1
| | | | This stops us having to worry about sh/sed/... portability.
* Allow specifying $threads directly when validatingIan Lynagh2010-03-211-3/+7
|
* When validating, run the testsuite with the bindisttest compilerIan Lynagh2009-10-091-1/+1
|
* Don't remake the bindist when validating with --testsuite-onlyIan Lynagh2009-10-091-3/+4
|
* We no longer need to specify the gcc and ld location when validatingIan Lynagh2009-09-301-12/+0
| | | | on Windows, as they are now in-tree
* Run bindisttest when validatingIan Lynagh2009-09-281-0/+3
|
* Validate now cleans regardless of whether mk/config.mk existsIan Lynagh2009-09-211-3/+1
| | | | Cleaning should always succeed now
* add the missing final row of dashes in the success messageSimon Marlow2009-06-151-0/+3
|
* don't clean GMP before validating (it rarely changes, and is slow to build)Simon Marlow2009-05-211-1/+1
|
* validate now uses maintainer-clean, not distcleanSimon Marlow2009-05-141-1/+1
|
* validate does "exit 1" if it failsSimon Marlow2009-05-131-1/+3
|
* Rename pwd to ghc-pwdIan Lynagh2009-05-071-1/+1
|
* Simplify utils/pwdIan Lynagh2009-05-051-1/+1
| | | | | We only need the forwardslash mode now, so always use that mode and don't accept any arguments.
* GHC new build system megapatchIan Lynagh2009-04-261-1/+6
|
* go back to using $CPUS + 1 for the number of threads to useSimon Marlow2009-03-301-1/+1
|
* add --with-ld=c:/mingw/bin/ldSimon Marlow2009-03-051-0/+4
|
* A few bug fixes; some improvements spurred by paper writingdias@eecs.harvard.edu2009-03-031-1/+1
| | | | | | | | | | | | Among others: - Fixed Stg->C-- translation of let-no-escapes -- it's important to use the right continuation... - Fixed infinite recursion in X86 backend (shortcutJump mishandled infinite loops) - Fixed yet another wrong calling convention -- primops take args only in vanilla regs, but they may return results on the stack! - Removed StackInfo from LGraph and Block -- now in LastCall and CmmZ - Updated avail-variable and liveness code
* Check whether mk/validate.mk defines anything after validatingIan Lynagh2008-10-071-0/+8
|
* Change how we know whether or not we are validatingIan Lynagh2008-08-171-2/+4
| | | | | | | | We now set Validating=YES in mk/are-validating.mk rather than on the commandline. This means that if you build a tree with validate then just running make in it will use the validate flags. "make distclean" removes mk/are-validating.mk, putting us back in standard build mode.
* Ooops; lack of mk/confi.mk doesn't mean validate shouldn't run configure!Ian Lynagh2008-08-061-2/+4
|
* Don't boot/configure if we are validating --no-cleanIan Lynagh2008-08-041-16/+16
|
* Add a comment in validate saying where the hpc HTML is putIan Lynagh2008-07-071-0/+1
|
* Add --slow (and --fast) options to validateIan Lynagh2008-07-011-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 testsIan Lynagh2008-07-011-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 validatingIan Lynagh2008-06-111-2/+1
|
* When validating, configure with "--prefix=`pwd`/inst"Ian Lynagh2008-05-021-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 typoIan Lynagh2008-03-021-4/+4
|
* Add comments explaining flagssimonpj@microsoft.com2008-02-281-0/+6
|
* Allow skipping "make clean" or only re-running the testsuite in validateIan Lynagh2008-02-101-22/+57
|
* Build settings for validation are now in mk/validate-settings.mkIan Lynagh2007-09-051-17/+2
|
* Fix and supress some warnings, and turn on -Werror when validatingIan Lynagh2007-09-021-3/+5
|
* fix typoSimon Marlow2007-08-241-1/+1
|
* Check haddocking works when validatingIan Lynagh2007-08-241-2/+3
|
* #1559 is worked around elsewhere, so validate no longer needs toIan Lynagh2007-07-301-6/+2
|
* Use "set -e" in validate, so "sh validate" still has it setIan Lynagh2007-07-291-1/+3
|
* make validate work on WindowsSimon Marlow2007-07-251-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 validateIan Lynagh2007-07-221-2/+6
|
* Use CLEANUP=1 when running the testsuite from validateIan Lynagh2007-07-221-1/+1
|
* allow build settings to be overriden by adding mk/validate.mkSimon Marlow2007-07-071-0/+6
|
* Add first cut of the validate scriptSimon Marlow2007-07-041-0/+37
View Lorry Controller Status