diff options
Diffstat (limited to 'test/ccured_olden/bisort/Makefile')
-rw-r--r-- | test/ccured_olden/bisort/Makefile | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/test/ccured_olden/bisort/Makefile b/test/ccured_olden/bisort/Makefile new file mode 100644 index 00000000..b620fafb --- /dev/null +++ b/test/ccured_olden/bisort/Makefile @@ -0,0 +1,67 @@ +# /* For copyright information, see olden_v1.0/COPYRIGHT */ + +BINARY = bisort.exe +PROGS = bitonic args ssplain + +ifdef _MSVC +CC = cl + +SRC = .c +OBJ = .obj +ASM = .s + +EXTRA_CDEFS = /DI_TIME /DI_SYS_TIME /DULTRIX +CDEFS = /DPLAIN /DSS_PLAIN +OPTFLAGS = /Ox + +LIBS = +LIBPATH = +else +CC = gcc -arch ppc # MacOS X +#CC=gcc # other systems +CCOMP=../../../../ccomp +CCOMPFLAGS=-dump-c + +SRC = .c +OBJ = .o +ASM = .s + +EXTRA_CDEFS = -DI_TIME -DI_SYS_TIME -DULTRIX +CDEFS = -DPLAIN -DSS_PLAIN +OPTFLAGS = -g -Wall -O3 + +LIBS = # MacOS X +# LIBS = -lm +LIBPATH = +endif + +SRCS = $(addsuffix $(SRC),$(PROGS)) +OBJS = $(addsuffix $(OBJ),$(PROGS)) +ASMS = $(addsuffix $(ASM),$(PROGS)) + +#defaulttarget: $(BINARY) + +#$(BINARY): $(OBJS) +# $(CC) $(LDFALGS) $(OPTFLAGS) -o $@ $(OBJS) $(LIBPATH) $(LIBS) + +#$(SRC)$(OBJ): +# $(CC) $(CDEFS) $(EXTRA_CDEFS) $(MY_CDEFS) $(OPTFLAGS) -c $< + +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) $(ASMS) *~ *.light.c *.cil.* + |