1. 20 Jun, 2008 1 commit
  2. 19 Jun, 2008 9 commits
  3. 18 Jun, 2008 1 commit
  4. 17 Jun, 2008 1 commit
  5. 16 Jun, 2008 1 commit
    • Ian Lynagh's avatar
      More commandline flag improvements · 0f5e104c
      Ian Lynagh authored
      * Allow -ffoo flags to be deprecated
      * Mark some -ffoo flags as deprecated
      * Avoid using deprecated flags in error messages, in the build system, etc
      * Add a flag to en/disable the deprecated flag warning
      0f5e104c
  6. 21 Feb, 2008 1 commit
  7. 18 Sep, 2007 1 commit
  8. 21 Jun, 2007 1 commit
  9. 20 Jun, 2007 1 commit
    • Simon Marlow's avatar
      Use setup makefile + make by default to build libraries · b802bbad
      Simon Marlow authored
      The advantages of this are
        (a) it's a step closer to getting -j working again (make -j works in
            an individual library, but not in libraries/ yet).
        (b) it's easier to hack on libraries: make dist/build/Foo.o
        (c) it's a step closer to getting HC bootstrapping again
      
      The build system creates <lib>/GNUmakefile as part of 'make boot'.
      This was chosen so as not to interfere with existing Makefiles, but
      it's a bit of a hack.  (previously I used CabalMakefile, but that
      means adding -f CabalMakefile each time you run make, and that's a
      pain).
      b802bbad