6 # - 1.0.0: add a version comment
10 if [ "$1" = "" ]; then
11 echo "You need to specify where to export it" >&2
13 elif [ ! -d "$1/libs" ]; then
14 echo "The target export directory is not compatible" >&2
18 LIBNAME
="`cat configure.sh | grep '^echo "NAME
= ' | cut -d'"' -f2 | cut -d= -f2`"
19 LIBNAME
="`echo $LIBNAME`"
22 .
/configure.sh
&& make \
23 && cp "$LIBNAME"-`cat VERSION`-sources.jar
"$1"/libs
/ \
24 && cp "$LIBNAME".jar
"$1"/libs
/