2 # package-zip.sh --- make a windoze distribution
7 echo "Usage: package-zip.sh PACKAGE_SOURCEDIR FILE..."
15 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$PATCH_LEVEL
16 if [ "x$MY_PATCH_LEVEL" != "x" ]; then
17 VERSION=$VERSION.$MY_PATCH_LEVEL
20 package=`echo $PACKAGE_NAME | tr '[A-Z]' '[a-z]'`
21 name=$package-$VERSION
23 builddir="/tmp/$package-doos"
25 { cd $topdir/..; PACKAGE_ROOTDIR=`pwd`; export PACKAGE_ROOTDIR; }
27 zip="$PACKAGE_ROOTDIR/doos/zip/$name.exe.zip"
30 if [ ! -e $PACKAGE_ROOTDIR/doos/zip ]; then
31 doo mkdir -p $PACKAGE_ROOTDIR/doos/zip
36 cd $PACKAGE_ROOTDIR/doos || exit 1
40 tar xzf $PACKAGE_ROOTDIR/releases/$name.tar.gz || exit 1
43 export PATH=/usr/doos/bin:$PATH
44 ./configure --host=i386-pc-linux --target=i386-pc-cygwin32 --prefix=/usr --enable-debugging --enable-printing --enable-checking
47 make -C Documentation info || true
49 make prefix="$builddir/usr" DOTEXE=.exe install
50 make prefix="$builddir/usr" installextradoc
53 (cd $builddir; $ZIP $zip $*)
58 # ln out/$name.exe.zip $zip