mirror of
https://git.freebsd.org/ports.git
synced 2025-04-30 10:36:38 -04:00
24 lines
866 B
Text
24 lines
866 B
Text
--- bin/_setlib.orig 2022-07-16 12:43:26 UTC
|
|
+++ bin/_setlib
|
|
@@ -19,19 +19,12 @@ if [ -z "$XMLBEANS_HOME" ]; then
|
|
XMLBEANS_HOME=`dirname $0`/..
|
|
fi
|
|
|
|
-XMLBEANS_LIB=
|
|
-if ls $XMLBEANS_HOME/build/libs/xmlbeans*.jar 1> /dev/null 2>&1; then
|
|
- XMLBEANS_LIB=$XMLBEANS_HOME/build/libs
|
|
-fi
|
|
-if ls $XMLBEANS_HOME/build/lib/xmlbeans*.jar 1> /dev/null 2>&1; then
|
|
- XMLBEANS_LIB=$XMLBEANS_HOME/build/lib
|
|
-fi
|
|
-if ls $XMLBEANS_HOME/lib/xmlbeans*.jar 1> /dev/null 2>&1; then
|
|
+if ls %%JAVAJARDIR%%/xmlbeans.jar 1> /dev/null 2>&1; then
|
|
XMLBEANS_LIB=$XMLBEANS_HOME/lib
|
|
fi
|
|
|
|
echo XMLBEANS_LIB=$XMLBEANS_LIB
|
|
|
|
if [ -z "$XMLBEANS_LIB" ]; then
|
|
- echo "ERROR: Could not find xmlbeans*.jar, try set XMLBEANS_LIB to the directory containing xmlbeans*.jar"
|
|
+ echo "ERROR: Could not find xmlbeans.jar, try set XMLBEANS_LIB to the directory containing xmlbeans.jar"
|
|
fi
|