-
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