diff options
author | 2016-04-11 21:53:16 +0200 | |
---|---|---|
committer | 2016-04-11 21:53:16 +0200 | |
commit | dd362020e8ac94dbd79ae3362df3130f2838bb32 (patch) | |
tree | 4bc380999586fa5f6e9aafa0022a345d1398becf /dev-util/weka/files | |
parent | sys-apps/pcsc-lite: make python optional (diff) | |
download | gentoo-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.patch | 16 |
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/**/*"/> |