NOTE: This patch has been committed. The version below is informational only (whitespace differences have been removed).

ChangeLog addition:

2006-01-09 Didier Verna didier@lrde.epita.fr

* 2.0/src/dd/eiffel/Makefile: New. * 2.0/src/dd/java/Makefile: Ditto. * 2.0/src/dd/c/Makefile: Ditto.

GSC source patch: Diff command: svn diff --diff-cmd /usr/bin/diff -x "-u -t -b -B -w" Files affected: 2.0/src/dd/eiffel/Makefile 2.0/src/dd/java/Makefile 2.0/src/dd/c/Makefile

Index: 2.0/src/dd/c/Makefile =================================================================== --- 2.0/src/dd/c/Makefile (revision 0) +++ 2.0/src/dd/c/Makefile (revision 0) @@ -0,0 +1,5 @@ +CC = gcc +CPPFLAGS = -DNDEBUG +CFLAGS = -O3 + +all: dd_c dd_ci Index: 2.0/src/dd/java/Makefile =================================================================== --- 2.0/src/dd/java/Makefile (revision 0) +++ 2.0/src/dd/java/Makefile (revision 0) @@ -0,0 +1,4 @@ +all: Main.class MainI.class + +%.class: %.java + javac $< Index: 2.0/src/dd/eiffel/Makefile =================================================================== --- 2.0/src/dd/eiffel/Makefile (revision 0) +++ 2.0/src/dd/eiffel/Makefile (revision 0) @@ -0,0 +1,14 @@ +CC = gcc +CPPFLAGS = -DNDEBUG +CFLAGS = -O3 + +all: main1 maini1 + +main1: main1.c +maini1: maini1.c + +main1.c: main.e + compile_to_c -boost $< + +maini1.c: maini.e + compile_to_c -boost $<