1 files changed, 0 insertions, 84 deletions
diff --git a/test/ccured_olden/bh/Makefile b/test/ccured_olden/bh/Makefile
deleted file mode 100644
index d7ee3f83..00000000
--- a/test/ccured_olden/bh/Makefile
+++ /dev/null
@@ -1,84 +0,0 @@
-##############################################################################
-# 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