On Sun, 22 Nov 2009 16:58:34 -0500, Jameson Graef Rollins <jrollins at finestructure.net> wrote: > Modified ./configure script to generate a Makefile.config if it > doesn't exist. This will allow people to maintain custom > Makefile.config files without causing conflicts with the repository.
It's definitely a good idea to get the generated Makefile.config out of the repository so that users can maintain their own versions without conflicts. In order to do this, we'll need to fix the Makefile to have a rule to generate Makefile.config if it doesn't exist by running configure, (and it could also give a message letting the user know that it's running configure without arguments, and the user can run it explicitly with arguments if desired[*]). -Carl [*] Of course, that's not *really* necessary until our configure script actually *does* accept arguments, but we really should add at least --prefix right away.