docs/motif/makewxmotif

   1 #!/bin/sh
   2 # makewxmotif
   3 # Configures and makes wxMotif 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 --with-motif --without-gtk --enable-debug_flag --enable-debug_info --enable-debug --disable-sockets --disable-odbc --enable-threads --enable-newgrid"
  13
  14 echo Invoking $CONFIG
  15
  16 rm -f *.cache
  17 $CONFIG
  18 make