diff options
Diffstat (limited to 'test/ccured_olden/mst/Makefile')
-rw-r--r-- | test/ccured_olden/mst/Makefile | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/test/ccured_olden/mst/Makefile b/test/ccured_olden/mst/Makefile new file mode 100644 index 00000000..d3f950b6 --- /dev/null +++ b/test/ccured_olden/mst/Makefile @@ -0,0 +1,62 @@ +# /* For copyright information, see olden_v1.0/COPYRIGHT */ + +BINARY = mst.exe +PROGS = main makegraph hash args ssplain + +OLDENHOME = /tmp/olden + +ifdef _MSVC +CC = cl +DEF = /D +CONLY = /c +OBJOUT = /Fo +EXEOUT = /Fe +OBJ = .obj + +OPTFLAGS = /Ox +LIBS = + +else + +CC = gcc -arch ppc +CCOMP=../../../../ccomp +CCOMPFLAGS=-dump-c +DEF = -D +CONLY = -c +OBJOUT= -o +EXEOUT= -o + +OBJ = .o + +OPTFLAGS = -g -Wall -O3 + +LIBS = +LIBPATH = +endif + +SRC = .c +ASM = .s +EXTRA_CDEFS = $(DEF)I_TIME $(DEF)I_SYS_TIME $(DEF)ULTRIX +CDEFS = $(DEF)PLAIN $(DEF)SS_PLAIN +SRCS = $(addsuffix $(SRC),$(PROGS)) +OBJS = $(addsuffix $(OBJ),$(PROGS)) +ASMS = $(addsuffix $(ASM),$(PROGS)) + +all_s: $(PROGS:%=%.s) + +all: $(PROGS:%=%.compcert) + +all_gcc: $(PROGS:%=%.gcc) + +%.compcert: %.s + $(CC) $(CFLAGS) $(LDFALGS) $(OPTFLAGS) -o $*.compcert $*.s $(LIBS) + +%.s: %.c ../../../../ccomp + $(CCOMP) $(CCOMPFLAGS) $*.c + +%.gcc: %.c + $(CC) $(CFLAGS) $(LDFALGS) $(OPTFLAGS) -o $*.gcc $*.c $(LIBS) + +clean: + rm -f $(BINARY) $(OBJS) $(OBJS) *~ *infer.c *cured.c *cil.c *_comb.c *.i *.light.c + |