Update this stupid makefile

2011-07-26 22:31:06 -07:00 · 2011-07-26 22:31:06 -07:00 · 1b15371767
parent 768bb1aad8
commit 1b15371767
1 changed files with 17 additions and 4 deletions
--- a/21
+++ b/21
@ -1,14 +1,27 @@

-GNATMAKE=gnat make
-EXES=readself hello
+GNATFLAGS=-gnat05
+GNATMAKE=gnat make $(GNATFLAGS)
+EXES=readself hello twotasking echoserver vectors echopool

 all: $(EXES)

 readself:
-	$(GNATMAKE) readself.adb
+	$(GNATMAKE)  readself.adb

 hello:
-	$(GNATMAKE) hello.adb
+	$(GNATMAKE)  hello.adb
+
+twotasking:
+	$(GNATMAKE)  twotasking.adb
+
+echoserver:
+	$(GNATMAKE)  echoserver.adb
+
+echopool:
+	$(GNATMAKE)  echopool.adb
+
+vectors:
+	$(GNATMAKE)  vectors.adb

 clean:
 	rm -f *.o *.ali