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