diff options
Diffstat (limited to 'dev-lang/epic/files/epic-0.9.3.3-respect-user-cflags.patch')
-rw-r--r-- | dev-lang/epic/files/epic-0.9.3.3-respect-user-cflags.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/dev-lang/epic/files/epic-0.9.3.3-respect-user-cflags.patch b/dev-lang/epic/files/epic-0.9.3.3-respect-user-cflags.patch deleted file mode 100644 index eedfd253afec..000000000000 --- a/dev-lang/epic/files/epic-0.9.3.3-respect-user-cflags.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/evm/Makefile b/evm/Makefile -index 7e6c5ff..f40f1a4 100644 ---- a/evm/Makefile -+++ b/evm/Makefile -@@ -1,6 +1,7 @@ - CC = gcc - #CFLAGS = -Wall -g -DUSE_BOEHM --CFLAGS = -Wall -O3 -DUSE_BOEHM -+CFLAGS ?= -Wall -O3 -+CFLAGS += -DUSE_BOEHM - OBJS = closure.o stdfuns.o emalloc.o sparks.o - INSTALLDIR = ${PREFIX}/lib/evm - |