1 |
commit: 066225aa048d5ddf92885ac910a6842143d08cf5 |
2 |
Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> |
3 |
AuthorDate: Wed Jan 29 10:46:17 2020 +0000 |
4 |
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Jan 29 11:13:40 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=066225aa |
7 |
|
8 |
dev-lang/teyjus/files: remove unused patch |
9 |
|
10 |
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com> |
11 |
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org> |
12 |
|
13 |
dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 -------------- |
14 |
1 file changed, 14 deletions(-) |
15 |
|
16 |
diff --git a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch b/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch |
17 |
deleted file mode 100644 |
18 |
index dcccd25f9fe..00000000000 |
19 |
--- a/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch |
20 |
+++ /dev/null |
21 |
@@ -1,14 +0,0 @@ |
22 |
---- teyjus-orig/source/OMakefile 2008-11-17 07:52:31.000000000 +1100 |
23 |
-+++ teyjus/source/OMakefile 2012-12-12 21:24:24.318557107 +1100 |
24 |
-@@ -19,7 +19,10 @@ |
25 |
- # |
26 |
- |
27 |
- OCAMLINCLUDES += $(CMP) $(DIS) $(SIM) $(LOD) |
28 |
--CFLAGS += -g |
29 |
-+CFLAGS += |
30 |
-+LDFLAGS += |
31 |
-+OCAMLFLAGS += -g |
32 |
-+OCAML_LINK_FLAGS += |
33 |
- |
34 |
- ############################################################ |
35 |
- # Compilation files |