diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2022-01-14 11:21:11 +0100 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2022-01-15 10:12:53 +0100 |
| commit | 6d84e600e55c872da419ba2d34617debef579565 (patch) | |
| tree | e6dd2b180acc166610c39a87c036766fcfcbc250 /dev-util/weka/files | |
| parent | net-dialup/xl2tpd: cleanup old version. (diff) | |
| download | gentoo-6d84e600e55c872da419ba2d34617debef579565.tar.gz gentoo-6d84e600e55c872da419ba2d34617debef579565.tar.bz2 gentoo-6d84e600e55c872da419ba2d34617debef579565.zip | |
dev-util/weka: Drop 3.7.13
Package-Manager: Portage-3.0.28, Repoman-3.0.3
RepoMan-Options: --force
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-util/weka/files')
| -rw-r--r-- | dev-util/weka/files/weka-3.7.13-build.xml.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/dev-util/weka/files/weka-3.7.13-build.xml.patch b/dev-util/weka/files/weka-3.7.13-build.xml.patch deleted file mode 100644 index 05da33df23d6..000000000000 --- a/dev-util/weka/files/weka-3.7.13-build.xml.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- a/build.xml 2016-04-11 16:45:18.592385569 +0200 -+++ b/build.xml 2016-04-11 16:48:01.756389582 +0200 -@@ -603,13 +603,6 @@ - <include name="**/*.default"/> - </fileset> - </copy> -- <rmic base="${build}/classes" -- classname="weka.experiment.RemoteEngine"/> -- <unzip src="${lib}/java-cup.jar" dest="${build}/classes"> -- <patternset> -- <include name="java_cup/runtime/**/*"/> -- </patternset> -- </unzip> - <unzip src="${lib}/packageManager.jar" dest="${build}/classes"> - <patternset> - <include name="org/**/*"/> |