diff options
Diffstat (limited to 'dev-lang/teyjus/files/teyjus-2.0.2-flags.patch')
-rw-r--r-- | dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 |
1 files changed, 14 insertions, 0 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 new file mode 100644 index 000000000000..dcccd25f9fe4 --- /dev/null +++ b/dev-lang/teyjus/files/teyjus-2.0.2-flags.patch @@ -0,0 +1,14 @@ +--- 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
|