change configure to better detect gstreamer. Check create is valid in mediaplayer...

[wxWidgets.git] / docs / gtk / makewxgtk

diff --git a/docs/gtk/makewxgtk b/docs/gtk/makewxgtk
index fa496124e2935e6cc81512cefe9cb0e9bb9b3334..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 braven, 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
-./configure --disable-shared --with-gtk --with-debug_flag --with-debug_info --enable-debug --without-threads --without-sockets -without-odbc -without-libjpeg
+$CONFIG
+
 make
+