From 29aabba0ea759c6a2864ff5631735b67ee38e5e0 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Wed, 5 Feb 2020 18:44:56 +0000
Subject: gentoo resync : 05.02.2020

---
 dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 dev-lang/teyjus/files/teyjus-2.0.2-flags.patch

(limited to 'dev-lang/teyjus/files')

diff --git a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch b/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
deleted file mode 100644
index dcccd25f9fe4..000000000000
--- a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- teyjus-orig/source/OMakefile	2008-11-17 07:52:31.000000000 +1100
-+++ teyjus/source/OMakefile	2012-12-12 21:24:24.318557107 +1100
-@@ -19,7 +19,10 @@
- #
- 
- OCAMLINCLUDES += $(CMP) $(DIS) $(SIM) $(LOD)
--CFLAGS += -g
-+CFLAGS +=
-+LDFLAGS +=
-+OCAMLFLAGS += -g
-+OCAML_LINK_FLAGS +=
- 
- ############################################################
- # Compilation files
-- 
cgit v1.2.3