From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 10:25:25 +0000
Subject: Getting rid of CIL

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil/Makefile.msvc | 42 ------------------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 cil/Makefile.msvc

(limited to 'cil/Makefile.msvc')

diff --git a/cil/Makefile.msvc b/cil/Makefile.msvc
deleted file mode 100644
index be1bb382..00000000
--- a/cil/Makefile.msvc
+++ /dev/null
@@ -1,42 +0,0 @@
-#
-# Makefile for CCured. The Microsoft Visual C part
-#
-COMPILERNAME=MSVC
-
-CC:=cl /nologo
-ifdef RELEASELIB
-#matth:  we need the frame pointer for CHECK_GETFRAME, so
-# use /Oy- to prevent that optimization.
-  CFLAGS:=/DRELEASE /D_MSVC /Ox /Ob2 /G6 /Oy-
-else
-  CFLAGS:=/D_DEBUG /D_MSVC /Zi /MLd
-endif
-CONLY:=/c
-
-OPT_O2:= /Ox /Ob2 /G6
-
-OBJOUT:=/Fo
-OBJEXT:=obj
-
-EXEOUT:=/Fe
-LIBEXT:=lib
-LDEXT:=.exe
-
-DEF:=/D
-ASMONLY:=/Fa
-INC:=/I
-
-CPPSTART:=cl /Dx86_WIN32 /D_MSVC /E /TC /I./lib /DCCURED
-CPPOUT:=  >%o
-CPP:=$(CPPSTART) /FI fixup.h %i $(CPPOUT)
-
-PATCHECHO:=echo
-
-AR:=lib 
-LIBOUT:=/OUT:
-
-# The system include files to be patched
-PATCH_SYSINCLUDES:=stdio.h ctype.h string.h io.h stdarg.h crtdbg.h \
-                   varargs.h stdlib.h time.h malloc.h
-
-
-- 
cgit