From 9766f93fe636d76b1d68ef5dbfc9d19763f684aa Mon Sep 17 00:00:00 2001
From: reger24 <>
Date: Thu, 1 Dec 2022 01:20:43 +0100
Subject: [PATCH] revert the gradle build back to ANT (to be able to build
 J7Zip manually using preferred build tool.

---
 libbuild/J7Zip-modified/build.xml | 39 +++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 libbuild/J7Zip-modified/build.xml

diff --git a/libbuild/J7Zip-modified/build.xml b/libbuild/J7Zip-modified/build.xml
new file mode 100644
index 000000000..27517541c
--- /dev/null
+++ b/libbuild/J7Zip-modified/build.xml
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project name="J7Zip-modified" default="dist" basedir=".">
+  <description>
+    J7Zip library for YaCy sevenzipParser (not available in external repositories)
+  </description>
+  <!-- set global properties for this build -->
+  <property name="version" value="1.0.2" />
+  <property name="src" location="src"/>
+  <property name="build" location="build"/>
+  <property name="dist" location="dist"/>
+
+  <target name="init">
+    <loadproperties srcFile="../../build.properties" />
+    <!-- Create the build directory structure used by compile -->
+    <mkdir dir="${build}"/>
+  </target>
+
+  <target name="compile" depends="init"
+        description="compile the source">
+    <!-- Compile the Java code from ${src} into ${build} -->
+    <javac srcdir="${src}" destdir="${build}"/>
+  </target>
+
+  <target name="dist" depends="compile"
+        description="generate the distribution">
+    <!-- Create the distribution directory -->
+    <mkdir dir="${dist}"/>
+
+    <!-- Put everything in ${build} into the jar file -->
+    <jar jarfile="${dist}/J7Zip-modified-${version}.jar" basedir="${build}"/>
+  </target>
+
+  <target name="clean"
+        description="clean up">
+    <!-- Delete the ${build} and ${dist} directory trees -->
+    <delete dir="${build}"/>
+    <delete dir="${dist}"/>
+  </target>
+</project>