dev-lang/teyjus/files: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Wed, 29 Jan 2020 10:46:17 +0000 (12:46 +0200)
committerJoonas Niilola <juippis@gentoo.org>
Wed, 29 Jan 2020 11:13:40 +0000 (13:13 +0200)
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
dev-lang/teyjus/files/teyjus-2.0.2-flags.patch [deleted file]

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 (file)
index dcccd25..0000000
+++ /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 @@
- #\r
\r
- OCAMLINCLUDES += $(CMP) $(DIS) $(SIM) $(LOD)\r
--CFLAGS += -g\r
-+CFLAGS +=\r
-+LDFLAGS +=\r
-+OCAMLFLAGS += -g\r
-+OCAML_LINK_FLAGS +=\r
\r
- ############################################################\r
- # Compilation files\r