public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/teyjus/files/
@ 2020-01-29 11:13 Joonas Niilola
  0 siblings, 0 replies; only message in thread
From: Joonas Niilola @ 2020-01-29 11:13 UTC (permalink / raw
  To: gentoo-commits

commit:     066225aa048d5ddf92885ac910a6842143d08cf5
Author:     Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Wed Jan 29 10:46:17 2020 +0000
Commit:     Joonas Niilola <juippis <AT> gentoo <DOT> org>
CommitDate: Wed Jan 29 11:13:40 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=066225aa

dev-lang/teyjus/files: remove unused patch

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org>

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

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 dcccd25f9fe..00000000000
--- 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


^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2020-01-29 11:13 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-01-29 11:13 [gentoo-commits] repo/gentoo:master commit in: dev-lang/teyjus/files/ Joonas Niilola

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox