]> git.zerfleddert.de Git - micropolis/commitdiff
add simple Makefile in top directory
authorMichael Gernoth <michael@gernoth.net>
Sun, 3 Feb 2008 20:41:42 +0000 (21:41 +0100)
committerMichael Gernoth <michael@gernoth.net>
Sun, 3 Feb 2008 20:41:42 +0000 (21:41 +0100)
Makefile [new file with mode: 0644]

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..f038c34
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,28 @@
+all: res/sim
+
+res/sim: src/sim/sim
+       cp $< $@
+       strip $@
+
+src/sim/sim: tcl tk tclx sim ;
+
+tcl:
+       cd src/tcl && $(MAKE)
+
+tk:
+       cd src/tk && $(MAKE)
+
+tclx:
+       cd src/tclx && $(MAKE)
+
+sim:
+       cd src/sim && $(MAKE)
+
+clean: 
+       cd src/sim && $(MAKE) clean
+       cd src/tcl && $(MAKE) clean
+       cd src/tk && $(MAKE) clean
+       cd src/tclx && $(MAKE) clean
+       rm -f res/sim
+
+.PHONY: clean tcl tk tclx sim
Impressum, Datenschutz