diff options
Diffstat (limited to 'test/ccured_olden/bh/Makefile')
| -rw-r--r-- | test/ccured_olden/bh/Makefile | 84 |
1 files changed, 84 insertions, 0 deletions
diff --git a/test/ccured_olden/bh/Makefile b/test/ccured_olden/bh/Makefile new file mode 100644 index 00000000..bd281429 --- /dev/null +++ b/test/ccured_olden/bh/Makefile @@ -0,0 +1,84 @@ +############################################################################## +# MAKEFILE: compile tree-code program. # +# # +# Copyright (c) 1993, Joshua E. Barnes, Honolulu, HI. # +# It's free because it's yours. # +############################################################################## + +# Compiler flags for development on SGI; not used on other systems. +# single version: CFLAGS = -fullwarn -woff 269,302 -prototypes -O -float +# double version: CFLAGS = -DDOUBLEPREC -fullwarn -woff 269,302 -prototypes -O + +# Standard compiler flags. Double precision is the default because not +# all available systems seem to have single-precision square root. +#sm: orig: CFLAGS = -DDOUBLEPREC -O +CFLAGS = -DDOUBLEPREC -O3 +LDFLAGS = -O3 + +# CompCert +CCOMP=../../../../ccomp +CCOMPFLAGS=-dump-c + +CC=gcc -arch ppc # MacOS X +#CC=gcc # other systems + +CFLAGS=-O1 -Wall + +LIBS= # MacOS X + +# Build a treecode. +code.exe.compcert: code.compcert io.compcert load.compcert grav.compcert util.compcert getparam.compcert trusted_bh.compcert + $(CCOMP) $(LDFLAGS) -o code.exe.compcert code.compcert io.compcert load.compcert grav.compcert\ + util.o getparam.compcert trusted_bh.compcert $(EXTRA_LIBS) + +code.compcert: code.c defs.h code.h stdinc.h + $(CCOMP) $(CCOMPFLAGS) code.c + +io.compcert: io.c defs.h stdinc.h + $(CCOMP) $(CCOMPFLAGS) io.c + +load.compcert: load.c defs.h stdinc.h + $(CCOMP) $(CCOMPFLAGS) load.c + +grav.compcert: grav.c defs.h stdinc.h + $(CCOMP) $(CCOMPFLAGS) -grav.c + +code.exe: code.o io.o load.o grav.o util.o getparam.o trusted_bh.o + $(CC) $(LDFLAGS) -o code.exe code.o io.o load.o grav.o\ + util.o getparam.o trusted_bh.o -lm $(EXTRA_LIBS) + +code.o: code.c defs.h code.h stdinc.h + $(CC) $(CFLAGS) -c code.c + +io.o: io.c defs.h stdinc.h + $(CC) $(CFLAGS) -c io.c + +load.o: load.c defs.h stdinc.h + $(CC) $(CFLAGS) -c load.c + +grav.o: grav.c defs.h stdinc.h + $(CC) $(CFLAGS) -c grav.c + +# Utility routines etc. + +util.o: util.c stdinc.h + $(CC) $(CFLAGS) util.c + +util.compcert: util.c stdinc.h + $(CCOMP) $(CCOMPFLAGS) util.c + +# Added to help boxing +trusted_bh.o: trusted_bh.c stdinc.h + $(CC) $(CFLAGS) -c trusted_bh.c + +getparam.o: getparam.c stdinc.h + $(CC) $(CFLAGS) -c getparam.c + +trusted_bh.compcert: trusted_bh.c stdinc.h + $(CCOMP) $(CCOMPFLAGS) trusted_bh.c + +getparam.compcert: getparam.c stdinc.h + $(CCOMP) $(CCOMPFLAGS) getparam.c + +clean: + rm -f *.o *.lib *.exe *.obj *~ *cil.c *_comb.c *infer.c *cured.c *.i *cured*optim.c
\ No newline at end of file |