diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
commit | 93d89c2b5e8497365be152fb53cb6cd4c5764d34 (patch) | |
tree | 0de8d05bbd0eeaeb5e4b85395f8dd576984b6a9e /cil/Makefile.gcc | |
parent | 891377ce1962cdb31357d6580d6546ec22df2b4f (diff) | |
download | compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.tar.gz compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.zip |
Getting rid of CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cil/Makefile.gcc')
-rw-r--r-- | cil/Makefile.gcc | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/cil/Makefile.gcc b/cil/Makefile.gcc deleted file mode 100644 index 8fae4e34..00000000 --- a/cil/Makefile.gcc +++ /dev/null @@ -1,75 +0,0 @@ -# -*-makefile-*- -# Makefile for CCured. The gcc part - - -COMPILERNAME := GNUCC - -CC := gcc -ifdef RELEASELIB - # sm: I will leave this here, but only use it for compiling our runtime lib - CFLAGS := -D_GNUCC -Wall -O3 -else - CFLAGS := -D_GNUCC -Wall -g -ggdb -D_DEBUG -endif - -# dsw: added optional -pg flag -ifdef USE_PG - CFLAGS += -pg -endif - -ifdef NO_OPTIMIZATION - OPT_O2 := -else - OPT_O2 := -O2 -endif -CONLY := -c -OBJOUT := -o -OBJEXT := o -LIBEXT := a -EXEOUT := -o -LDEXT := -DEF := -D -ASMONLY := -S -o -WARNALL := -Wall -# sm: shuffled around a couple things so I could use CPPSTART for patch2 -CPPSTART := gcc -E -x c -Dx86_LINUX -D_GNUCC -I/usr/include/sys -CPPOUT := -o %o -CPP := $(CPPSTART) -include fixup.h %i $(CPPOUT) -INC := -I - -# sm: disable patching for now ('true' has no output) -# (set it to 'echo' to re-enable) -ifndef PATCHECHO - PATCHECHO := echo -endif - -AR := ar -LIBOUT := -rs - -# The system include files to be patched -PATCH_SYSINCLUDES := crypt.h ctype.h fcntl.h glob.h grp.h malloc.h netdb.h \ - pthread.h pwd.h signal.h stdarg.h stdio.h stdlib.h \ - string.h time.h unistd.h varargs.h arpa/inet.h \ - sys/cdefs.h sys/fcntl.h sys/ioctl.h sys/socket.h \ - sys/stat.h sys/types.h sys/uio.h malloc.h setjmp.h - -ifneq ($(ARCHOS), x86_WIN32) -PATCH_SYSINCLUDES += sys/shm.h -endif - -# dsw & sm: DON'T DO THIS. See comment in ccured_GNUCC.patch, search for 'sys/io.h'. -# PATCH_SYSINCLUDES += sys/io.h - -# matth: reent.h is only in Cygwin, and Cygwin defines struct sigaction -# in sys/signal.h: -ifeq ($(ARCHOS), x86_WIN32) -PATCH_SYSINCLUDES += sys/reent.h sys/signal.h -endif - -# matth: these files are not in Cygwin -ifeq ($(ARCHOS), x86_LINUX) -PATCH_SYSINCLUDES += nl_types.h bits/sigaction.h bits/select.h sys/prctl.h \ - libgen.h shadow.h -endif - - |