docs/x11/makewxx11

   1 #!/bin/sh
   2 # makewxx11
   3 # Configures and makes wxX11 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-x11 --enable-debug_flag --enable-log --enable-debug_info --enable-debug --enable-threads --enable-mdi --enable-sockets --without-odbc --with-libjpeg --with-opengl --enable-debug_cntxt"
  13
  14 echo Invoking $CONFIG
  15
  16 rm -f *.cache
  17 $CONFIG
  18
  19 make
  20