From ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e Mon Sep 17 00:00:00 2001 From: blazy Date: Fri, 20 Oct 2006 12:37:13 +0000 Subject: Ajout du banc de tests de CCured (Olden benchmark suite, cf. CCured: type-safe retrofitting of legacy code, G.Necula et al.) rapportCompcert_all.txt liste les erreurs produites par ccomp. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@121 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/ccured_olden/treeadd/Makefile | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 test/ccured_olden/treeadd/Makefile (limited to 'test/ccured_olden/treeadd/Makefile') diff --git a/test/ccured_olden/treeadd/Makefile b/test/ccured_olden/treeadd/Makefile new file mode 100644 index 00000000..f17f1155 --- /dev/null +++ b/test/ccured_olden/treeadd/Makefile @@ -0,0 +1,38 @@ +# /* For copyright information, see olden_v1.0/COPYRIGHT */ + +BINARY = treeadd.exe +FILES = par-alloc node args ssplain + + +OLDENHOME = /tmp/olden + +CC = gcc + +SRC = .c +OBJ = .o +ASM = .s +SRCS = $(addsuffix $(SRC),$(FILES)) +OBJS = $(addsuffix $(OBJ),$(FILES)) +ASMS = $(addsuffix $(ASM),$(FILES)) +INCDIRS = /usr/include + +EXTRA_CDEFS = -DI_TIME -DI_SYS_TIME -DULTRIX +CDEFS = -DPLAIN -DSS_PLAIN #-I$(OLDENHOME)/common +OPTFLAGS = -g -Wall -O3 + +LIBS = -lm +LIBPATH = + +$(BINARY): $(OBJS) + $(CC) $(LDFALGS) $(OPTFLAGS) -o $@ $(OBJS) $(LIBPATH) $(LIBS) + +$(SRC)$(OBJ): + $(CC) $(CDEFS) $(EXTRA_CDEFS) $(MY_CDEFS) $(OPTFLAGS) -c $< + +clean: + rm -f $(BINARY) $(OBJS) $(ASMS) *~ *.light.c + +links: + /bin/rm -f ssplain.[hc] + ln -s $(OLDENHOME)/common/ssplain.h + ln -s $(OLDENHOME)/common/ssplain.c -- cgit