summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAmy Winston <amynka@gentoo.org>2016-04-11 21:53:16 +0200
committerAmy Winston <amynka@gentoo.org>2016-04-11 21:53:16 +0200
commitdd362020e8ac94dbd79ae3362df3130f2838bb32 (patch)
tree4bc380999586fa5f6e9aafa0022a345d1398becf /dev-util/weka/files
parentsys-apps/pcsc-lite: make python optional (diff)
downloadgentoo-dd362020e8ac94dbd79ae3362df3130f2838bb32.tar.gz
gentoo-dd362020e8ac94dbd79ae3362df3130f2838bb32.tar.bz2
gentoo-dd362020e8ac94dbd79ae3362df3130f2838bb32.zip
dev-util/weka: version bump 3.7.13
Package-Manager: portage-2.2.26
Diffstat (limited to 'dev-util/weka/files')
-rw-r--r--dev-util/weka/files/weka-3.7.13-build.xml.patch16
1 files changed, 16 insertions, 0 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
new file mode 100644
index 000000000000..05da33df23d6
--- /dev/null
+++ b/dev-util/weka/files/weka-3.7.13-build.xml.patch
@@ -0,0 +1,16 @@
+--- 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/**/*"/>