diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-lang/teyjus/files | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-lang/teyjus/files')
-rw-r--r-- | dev-lang/teyjus/files/50teyjus-gentoo.el | 3 | ||||
-rw-r--r-- | dev-lang/teyjus/files/teyjus-2.0.2-flags.patch | 14 |
2 files changed, 17 insertions, 0 deletions
diff --git a/dev-lang/teyjus/files/50teyjus-gentoo.el b/dev-lang/teyjus/files/50teyjus-gentoo.el new file mode 100644 index 000000000000..7e05cdec7aec --- /dev/null +++ b/dev-lang/teyjus/files/50teyjus-gentoo.el @@ -0,0 +1,3 @@ +;;; teyjus site-lisp configuration + +(add-to-list 'load-path "@SITELISP@") 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
|