2002-09-15 06:24:09 -04:00
|
|
|
#!/bin/sh
|
1999-01-31 13:47:10 -05:00
|
|
|
# makewxgtk
|
2002-09-15 06:15:06 -04:00
|
|
|
# Configures and makes wxGTK from either the root wxWindows directory
|
|
|
|
|
# or a build directory underneath it.
|
|
|
|
|
|
|
|
|
|
CONFIG=./configure
|
|
|
|
|
|
|
|
|
|
if [ ! -f ./configure ]; then
|
|
|
|
|
CONFIG=../configure
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
CONFIG="$CONFIG --disable-shared --enable-gui --with-gtk --enable-debug_flag --enable-log --enable-debug_info --enable-debug --enable-threads --enable-sockets -with-odbc -with-libjpeg --enable-debug_cntxt"
|
|
|
|
|
|
|
|
|
|
echo Invoking $CONFIG
|
|
|
|
|
|
1999-11-08 20:52:28 -05:00
|
|
|
rm -f *.cache
|
2002-09-15 06:15:06 -04:00
|
|
|
$CONFIG
|
|
|
|
|
|
1999-01-31 13:47:10 -05:00
|
|
|
make
|
2002-09-15 06:15:06 -04:00
|
|
|
|
