[wxWidgets.git] / docs / motif / makewxmotif

#!/bin/sh
# makewxmotif
# Configures and makes wxMotif 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 --with-motif --without-gtk --enable-debug_flag --enable-debug_info --enable-debug --disable-sockets --disable-odbc --enable-threads --enable-newgrid"

echo Invoking $CONFIG

rm -f *.cache
$CONFIG
make
Commit	Line	Data
64b73f1a	1	#!/bin/sh
8870c26e	2	# makewxmotif
befe9ee1 JS	3	# Configures and makes wxMotif 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 --with-motif --without-gtk --enable-debug_flag --enable-debug_info --enable-debug --disable-sockets --disable-odbc --enable-threads --enable-newgrid"
	13
	14	echo Invoking $CONFIG
	15
a925b006	16	rm -f *.cache
befe9ee1	17	$CONFIG
8870c26e	18	make