[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Demexp-dev] Troublesome build system modifications

From: GISQUET Christophe
Subject: [Demexp-dev] Troublesome build system modifications
Date: Mon, 25 Sep 2006 22:06:50 +0200
User-agent: Thunderbird (Windows/20060909)

Good evening

I find the current way of modifying the build process a bit bothersome. First you have to edit Makefile to test, then port changes to config/

Therefore I propose that Makefile simply includes config/, hoping it is not a gnu-ism. This *greatly* reduces the complexity in testing and porting changes. Anyway, I don't think that many platforms would be affected if it were the case. Furthermore, this begs the question whether config/ should simply become Makefile, including generated by configure. This sounds somewhat more logical and the way used by almost all software I know.

Last but not least, it may be interesting to:
- have Makefile be generated on a configure change; storing the options passed to configure could be used when reinvoking it
- a change in Makefile would cause a recompilation
I believe that this is overkill (recompiling automatically when developer knows best when he should recompile), but I still wanted to mention it.

Best regards,
Christophe GISQUET
diff -r bffa766612ce configure
--- a/configure Sun Sep 24 12:09:31 2006 +0200
+++ b/configure Mon Sep 25 21:33:45 2006 +0200
@@ -474,8 +474,8 @@ fi
 echo ".PHONY: default" >> Makefile
 echo "default: $default" >> Makefile
-cat >> Makefile
+echo "include config/" >> Makefile
+#cat >> Makefile
 # produce

reply via email to

[Prev in Thread] Current Thread [Next in Thread]