[wxWidgets.git] / docs / gtk / makewxgtk

#!/bin/sh
# makewxgtk
# 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

rm -f *.cache
$CONFIG

make
Commit	Line	Data
64b73f1a	1	#!/bin/sh
8870c26e	2	# makewxgtk
befe9ee1 JS	3	# Configures and makes wxGTK from either the root wxWindows directory
	4	# or a build directory underneath it.
	5
	6	CONFIG=./configure
	7
	8	if [ ! -f ./configure ]; then
	9	CONFIG=../configure
	10	fi
	11
	12	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"
	13
	14	echo Invoking $CONFIG
	15
a925b006	16	rm -f *.cache
befe9ee1 JS	17	$CONFIG
befe9ee1 JS	18
8870c26e	19	make
befe9ee1	20