media proj

[wxWidgets.git] / docs / gtk / makewxgtk

diff --git a/docs/gtk/makewxgtk b/docs/gtk/makewxgtk
index cf8ac225e021a07132db18793e95d9ddd646ffb3..0d6dce1915a89e8744c2c85412b78f9a9ac27934 100644 (file)
--- a/docs/gtk/makewxgtk
+++ b/docs/gtk/makewxgtk
@@ -1,11 +1,20 @@
+#!/bin/sh
 # makewxgtk
-# Sets permissions (in case we extracted wxGTK from zip files)
-# and makes wxGTK.
-# Call from top-level wxWindows directory.
-# Note that this uses standard (but commonly-used) configure options;
-# if you're feeling brave, you may wish to compile with threads.
-# -- Julian Smart
+# 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
-chmod a+x configure config.sub config.guess samples/configure demos/configure contrib/configure
-./configure --disable-shared --with-gtk --with-debug_flag --with-debug_info --enable-debug --without-threads --without-sockets -without-odbc -without-libjpeg
+$CONFIG
+
 make
+