diff options
Diffstat (limited to 'dev-lang/clipsjni/files')
| -rw-r--r-- | dev-lang/clipsjni/files/clipsjni-library-src_makefile.lnx-remove_hardcoded.patch (renamed from dev-lang/clipsjni/files/library-src_makefile.lnx.patch) | 0 | ||||
| -rw-r--r-- | dev-lang/clipsjni/files/clipsjni-makefile.lnx-java.patch (renamed from dev-lang/clipsjni/files/makefile.lnx.patch) | 3 |
2 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/clipsjni/files/library-src_makefile.lnx.patch b/dev-lang/clipsjni/files/clipsjni-library-src_makefile.lnx-remove_hardcoded.patch index d984bfdafb61..d984bfdafb61 100644 --- a/dev-lang/clipsjni/files/library-src_makefile.lnx.patch +++ b/dev-lang/clipsjni/files/clipsjni-library-src_makefile.lnx-remove_hardcoded.patch diff --git a/dev-lang/clipsjni/files/makefile.lnx.patch b/dev-lang/clipsjni/files/clipsjni-makefile.lnx-java.patch index da236107dfd5..af45fce3e204 100644 --- a/dev-lang/clipsjni/files/makefile.lnx.patch +++ b/dev-lang/clipsjni/files/clipsjni-makefile.lnx-java.patch @@ -1,3 +1,6 @@ +New Java versions need "-Xlint:deprecation" option to compile CLIPSJNI. +General fixes to enable make with multiple jobs. + index 4100e83..c6d2f62 100644 --- a/makefile.lnx +++ b/makefile.lnx |