From 6224148fdd809170d138216d72b8e6180d626aec Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Feb 2010 13:44:32 +0000
Subject: Reorganization test directory

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/ccured_olden/mst/Makefile | 62 ------------------------------------------
 1 file changed, 62 deletions(-)
 delete mode 100644 test/ccured_olden/mst/Makefile

(limited to 'test/ccured_olden/mst/Makefile')

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
-
-- 
cgit