mirror of
https://git.freebsd.org/ports.git
synced 2025-04-29 18:16:48 -04:00
25 lines
869 B
Text
25 lines
869 B
Text
--- bin/_setlib.orig 1970-01-02 00:00:00 UTC
|
|
+++ bin/_setlib
|
|
@@ -19,19 +19,12 @@ fi
|
|
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
|
|
+if ls %%JAVAJARDIR%%/xmlbeans.jar 1> /dev/null 2>&1; then
|
|
+ XMLBEANS_LIB=$XMLBEANS_HOME
|
|
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
|
|
- 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
|