win32-configure
608 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#!/bin/bash
export HOST_CC=/usr/bin/gcc
export cache=win32.cache
OPT=$@
OFFICE=$(grep -c 'AC_ARG_ENABLE(\[office' configure.ac)
if [ "$OFFICE" != "0" ]; then
OPT="$OPT --disable-office"
fi
if [ -d ~/win32/jdk ]; then
export JDK_HOME=$(readlink -f ~/win32/jdk)
else
unset JDK_HOME
fi
if [ -d ~/win32/jre ]; then
export JRE_HOME=$(readlink -f ~/win32/jre)
else
unset JRE_HOME
fi
./configure --cache-file=$cache \
--host=i686-w64-mingw32 \
--prefix=/usr/i686-w64-mingw32/sys-root/mingw \
--libdir=/usr/i686-w64-mingw32/sys-root/mingw/lib \
$OPT
status=$?
rm -f "$cache"
exit $status