Skip to content
  • 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