summaryrefslogtreecommitdiff
path: root/mk/validate-settings.mk
Commit message (Collapse)AuthorAgeFilesLines
* Implement the AMP warning (#8004)Austin Seipp2013-09-111-0/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | This patch implements a warning when definitions conflict with the Applicative-Monad Proposal (AMP), described in #8004. Namely, this will cause a warning iff: * You have an instance of Monad, but not Applicative * You have an instance of MonadPlus, but not Alternative * You locally defined a function named join, <*>, or pure. In GHC 7.10, these warnings will actually be enforced with superclass constraints through changes in base, so programs will fail to compile then. This warning is enabled by default. Unfortunately, not all of our upstream libraries have accepted the appropriate patches. So we temporarily fix ./validate by ignoring the AMP warning. Dan Rosén made an initial implementation of this change, and the remaining work was finished off by David Luposchainsky. I finally made some minor refactorings. Authored-by: Dan Rosén <danr@chalmers.se> Authored-by: David Luposchainsky <dluposchainsky@gmail.com> Signed-off-by: Austin Seipp <austin@well-typed.com>
* Hack-fix build breakage on Linux/GCC from fc4856f9Herbert Valerio Riedel2013-09-041-1/+1
| | | | | | | | For some reason, the new `GccIsClang` variable introduced via fc4856f9e811d9a23ae9212f43a09ddf5ef12b26 for addressing #8148 isn't set explicitly to `NO`; so this simply changes the test `ifeq $(GccIsClang) NO` to `ifneq $(GccIsClang) YES` which should fix the build with and w/o Clang.
* Make validate play nice with clang (for Xcode 5 command line tools)Manuel M T Chakravarty2013-09-041-0/+9
| | | | * This partially fixes #8148. However, --with-ghc-4.8 will still not work given the rather dubious m4 macros and the failures in the test suite due to '-nodefaultlibs' still need to be fixed.
* Also build the v way when DYNAMIC_GHC_PROGRAMS is YESIan Lynagh2013-03-171-2/+4
| | | | | Technically we don't need the v way, but with -dynamic-too it's cheap, and having it makes life easier.
* By default, use the dynamic way for programs in the GHC treeIan Lynagh2013-03-151-2/+2
| | | | | In particular, this means that GHCi will use DLLs, rather than loading object files itself.
* Update to binary 0.7.0.0Ian Lynagh2013-03-011-6/+2
|
* Make validating with GhcProfiled=YES Just WorkIan Lynagh2013-01-031-0/+2
| | | | | It now takes care of adding p to the GhcLibWays, rather than just complaining that it's missing.
* Ship transformers with GHCIan Lynagh2013-01-021-0/+1
| | | | | This means that we can use the standard MonadIO class, rather than needing our own copy.
* de-tab hpcIan Lynagh2012-11-231-0/+1
|
* Separate warning flags from other flags in validate-settings.mkIan Lynagh2012-11-231-3/+11
|
* Revert "Suppress deprecation warnings for Rank2Types in libraries that use ↵Simon Peyton Jones2012-10-261-10/+0
| | | | | | | | | | the flag" After disussing on cvs-ghc and cabal-devel, we decided, in the end, that it was simpler to make Rank2Types and PolymorphicComponents into synonyms for RankNTypes. This reverts commit d277031df8afa64118a1d063e6e09c80028226fe.
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-10-261-1/+1
|\
| * Make DefaultFastGhcLibWays be just "dyn" when we are dynamic by defaultIan Lynagh2012-10-251-1/+1
| |
* | Suppress deprecation warnings for Rank2Types in libraries that use the flagSimon Peyton Jones2012-10-191-0/+10
|/ | | | This is temporary until the libraries switch to RankNTypes
* Build the dynamic way by default on Linux/amd64Ian Lynagh2012-10-031-1/+6
| | | | | | | | | | | | | This required various build system changes to get the build to go through. In the inplace shell wrappers, we set LD_LIBRARY_PATH to allow programs to find their libraries. In the future, we might change the inplace tree to be the same shape as an installed tree instead. However, this would mean changing the way we do installation, as currently we use cabal's installation methods to install the libraries, but that only works if the libraries are under libraries/foo/dist-install/build/..., rather than in inplace/lib/...
* Ignore deprecation warnings for bitSize in libs when validatingIan Lynagh2012-09-231-0/+6
|
* Re-enable inline-rule-shadowing warning.Paolo Capriotti2012-07-261-3/+4
| | | | Keep the warning off for template-haskell and bytestring for the moment.
* Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-07-251-0/+2
|\
| * Add flag to disable rule shadowing warning.Paolo Capriotti2012-07-241-0/+2
| | | | | | | | | | Also, temporarely disable that warning for validate builds, until we finish fixing them all.
* | Remove some old temporary warning suppression for hoopl warningsIan Lynagh2012-07-241-9/+0
|/
* Follow upstream mtl and Cabal, add transformers package (#5958)Paolo Capriotti2012-05-071-0/+6
|
* Add SRC_[CH]C_WARNING_OPTSIan Lynagh2012-04-261-5/+7
| | | | | | | | | | | This allows you to say things like SRC_HC_WARNING_OPTS += -fno-warn-unsupported-calling-conventions in mk/validate.mk. Unfortunately, we can't just use SRC_HC_OPTS, as that gets put before the more specific options (e.g. ghc-options in a .cabal file), many of which include -Wall. So now we have: ghc $(SRC_HC_OPTS) ... options from .cabal etc ... $(SRC_HC_WARNING_OPTS)
* Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-121-3/+0
|\ | | | | | | | | Conflicts: compiler/coreSyn/CoreLint.lhs
| * Remove old dead safe haskell settingDavid Terei2012-01-251-3/+0
| |
* | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-241-0/+3
|\ \ | |/ | | | | | | Conflicts: compiler/typecheck/TcEvidence.lhs
| * Fix validateIan Lynagh2012-01-191-0/+3
| | | | | | | | | | | | | | | | This patch defines a flag -fno-warn-pointless-pragmas, and uses it to disable some warnings in the containers package. Along the way, also made a ContainsDynFlags class, and added a HasDynFlags instance for IOEnv (and thus TcRnIf and DsM).
* | Remove tabs, so that I can push.Iavor S. Diatchki2011-12-181-1/+1
|/
* Make the --fast option to validate faster, and add --normalSimon Marlow2011-11-161-1/+5
| | | | | | | | | | | | The --fast option now disables the following: - dynamic libs - bindist and bindisttest Which knocks several minutes off validate for me, but it's still over 30 minutes using 5 cores on 64-bit Linux. Usual caveats apply: if you're using --fast, then make sure you aren't doing anything that might destabilise dynamic libs or binary dists.
* Build system wibbles for new dph-lifted-vseg libraryBen Lippmeier2011-11-121-2/+1
| | | | The old dph-par and dph-seq CPP libraries are gone. The DPH front end libraries are now dph-lifted-*, and are only built in one way.
* validate: add -dcore-lint to stage2Simon Marlow2011-11-101-1/+1
|
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-2/+2
| | | | | We only use it for "compiler" sources, i.e. not for libraries. Many modules have a -fno-warn-tabs kludge for now.
* Follow cabal->Cabal rename, and fix haddock index generationIan Lynagh2011-10-231-2/+2
| | | | We now make use of the ghc-packages file when making the haddock index.
* Get Windows building dynlibs againIan Lynagh2011-10-181-5/+0
|
* Temporary hack to get Windows to validate againIan Lynagh2011-10-141-0/+5
| | | | For now, turn off dynlibs when validating
* Fix validation problem when GHC is 7.2.1, warnings from binary.David Terei2011-08-191-0/+2
|
* Don't fail validate due to warnings in CabalIan Lynagh2011-07-271-0/+5
| | | | Duncan says that Cabal isn't guaranteed to be warning-free.
* Fix validate with old versions of gccIan Lynagh2011-07-131-1/+1
| | | | Old versions don't understand -Wno-error=inline
* the time package uses mkTyCon, turn off deprecation warnings for nowSimon Marlow2011-07-121-1/+3
|
* Fix gcc 4.6 warnings; fixes #5176Ian Lynagh2011-06-251-0/+9
| | | | | | | | | | | Based on a patch from David Terei. Some parts are a little ugly (e.g. defining things that only ASSERTs use only when DEBUG is defined), so we might want to tweak things a little. I've also turned off -Werror for didn't-inline warnings, as we now get a few such warnings.
* SafeHaskell: Fix validation errorsDavid Terei2011-06-171-0/+4
|
* SafeHaskell: Fix validation errors when unsafe base usedDavid Terei2011-06-171-0/+3
|
* Remove some trailing whitespaceIan Lynagh2011-06-121-1/+1
| | | | | We were getting InstallExtraPackages="YES "
* Do not enable -XGenerics when building the optimized libs.Jose Pedro Magalhaes2011-05-051-2/+1
|
* Merge in new code generator branch.Simon Marlow2011-01-241-0/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | This changes the new code generator to make use of the Hoopl package for dataflow analysis. Hoopl is a new boot package, and is maintained in a separate upstream git repository (as usual, GHC has its own lagging darcs mirror in http://darcs.haskell.org/packages/hoopl). During this merge I squashed recent history into one patch. I tried to rebase, but the history had some internal conflicts of its own which made rebase extremely confusing, so I gave up. The history I squashed was: - Update new codegen to work with latest Hoopl - Add some notes on new code gen to cmm-notes - Enable Hoopl lag package. - Add SPJ note to cmm-notes - Improve GC calls on new code generator. Work in this branch was done by: - Milan Straka <fox@ucw.cz> - John Dias <dias@cs.tufts.edu> - David Terei <davidterei@gmail.com> Edward Z. Yang <ezyang@mit.edu> merged in further changes from GHC HEAD and fixed a few bugs.
* Libraries bytestirng, time, binary need -fno-warn-identitiessimonpj@microsoft.com2010-11-161-2/+5
| | | | | They all have redundant uses of fromIntegral, but are no under GHC HQ control.
* Fix computation of installed packagessimonpj@microsoft.com2010-09-241-0/+3
| | | | | | This is a follow-on to Simon's patch yesterday, developed with him. It cleans up the computation of how packages are installed, and installs the right ones.
* For now, switch off incomplete-pattern warnings in containerssimonpj@microsoft.com2010-09-231-0/+3
| | | | | Put it back on when my patch is applied to the containers repo. (the one that removes two refuable lambdas)
* turn off -Werror for primitive and vectorSimon Marlow2010-09-231-0/+6
|
* Refactoring and tidy up in the build systemSimon Marlow2010-09-231-0/+4
| | | | | | | | | | | Instead of the ghc-stage and ghc-stage2-package files in a package, we now have a list of these in ghc.mk. There are other similar lists (of boot-packages and non-installable packages), so this is not too bad, and is simpler. While poking around in the top-level ghc.mk file I spotted various opportunities to clean up and re-order some of the cruft that has accumulated over time.
* Binary no longer has unusable UNPACK pragmas, so no need to turn of -WerrorIan Lynagh2010-09-041-3/+0
|