fix-internal-hsqldb-build

Gbp-Pq: Name fix-internal-hsqldb-build.diff

diff --git a/external/hsqldb/UnpackedTarball_hsqldb.mk b/external/hsqldb/UnpackedTarball_hsqldb.mk
index 0b05b45ba3c3e78317d13a723f6291f8dd93a333..8477877898160e75dfce5e53bd630179c4ffa1ed 100644 (file)
--- a/external/hsqldb/UnpackedTarball_hsqldb.mk
+++ b/external/hsqldb/UnpackedTarball_hsqldb.mk
@@ -28,6 +28,7 @@ $(eval $(call gb_UnpackedTarball_add_patches,hsqldb,\
        external/hsqldb/patches/jdbc-4.1.patch \
        external/hsqldb/patches/multipleResultSets.patch \
        external/hsqldb/patches/disable-dump-script.patch \
+       external/hsqldb/patches/use-system-servlet-api.jar.diff \
 ))
 
 # vim: set noet sw=4 ts=4:

diff --git a/external/hsqldb/patches/use-system-servlet-api.jar.diff b/external/hsqldb/patches/use-system-servlet-api.jar.diff
new file mode 100644 (file)
index 0000000..a937f7e
--- /dev/null
+++ b/external/hsqldb/patches/use-system-servlet-api.jar.diff
@@ -0,0 +1,29 @@
+--- misc/hsqldb/build/build.xml
++++ misc/build/hsqldb/build/build.xml
+@@ -356,7 +356,7 @@
+                  optimize="${build.optimize}"
+        >
+          <classpath>
+-            <pathelement location="lib/servlet.jar"/>
++            <pathelement location="/usr/share/java/servlet-api-3.1.jar"/>
+          </classpath>
+          <include name="*.java"/>
+          <include name="org/hsqldb/*.java"/>
+@@ -818,7 +818,7 @@
+                                               ${src}/org/hsqldb/util/RCData.java,
+                                               ${src}/org/hsqldb/util/SqlTool.java"
+            destdir="${basedir}/doc/src"
+-           classpath="${basedir}/lib/servlet.jar;${basedir}/lib/junit.jar"
++           classpath="/usr/share/java/servlet-api-3.1.jar;${basedir}/lib/junit.jar"
+            author="true"
+            version="false"
+            use="true"
+@@ -839,7 +839,7 @@
+       <javadoc packagenames="org.hsqldb.*,org.hsqldb.jdbc.*,org.hsqldb.lib.*,org.hsqldb.util.*"
+            sourcepath="${src}"
+            destdir="${basedir}/doc/src"
+-           classpath="${basedir}/lib/servlet.jar;${basedir}/lib/junit.jar"
++           classpath="/usr/share/java/servlet-api-3.1.jar;${basedir}/lib/junit.jar"
+            author="true"
+            version="false"
+            use="true"