docs/gtk/makewxgtk

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