docs/gtk/makewxgtk

   1 #!/bin/sh
   2 # makewxgtk
   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
  16 rm -f *.cache
  17 $CONFIG
  18
  19 make
  20