Diff for /Amaya/configure.in between versions 1.120 and 1.121

version 1.120, 2003/10/20 13:45:11 version 1.121, 2003/10/21 16:22:57
Line 264  if test "$with_motif" = "no" -o "$with_m Line 264  if test "$with_motif" = "no" -o "$with_m
   fi    fi
 fi  fi
   
   # check if no gui is enable
   AC_ARG_WITH(nogui, [  --with-nogui            do not use GUI toolkit ])
   if test "$with_nogui" = "yes" -o "$enable_nogui" = "yes" ; then
     with_nogui="yes"
     with_motif="no"
     no_motif=yes
     with_gtk="no"
     NOGUI_OPTIONS="-D_NOGUI"
   fi
   
 if test "$with_motif" = "yes" ; then  if test "$with_motif" = "yes" ; then
   if test "$with_gtk" = "yes" ; then    if test "$with_gtk" = "yes" ; then
     echo       echo 
Line 1146  dnl Line 1156  dnl
 dnl The options for each library or binary  dnl The options for each library or binary
 dnl  dnl
   
 THOT_OPTIONS="$GTK_OPTIONS $I18N_OPTIONS $GL_OPTIONS $MOTIF_OPTIONS"  THOT_OPTIONS="$GTK_OPTIONS $I18N_OPTIONS $GL_OPTIONS $MOTIF_OPTIONS $NOGUI_OPTIONS"
 AMAYA_OPTIONS="$MATH_OPTIONS $SVG_OPTIONS $GTK_OPTIONS $GENERIC_XML_OPTIONS $I18N_OPTIONS $GL_OPTIONS $MOTIF_OPTIONS"  AMAYA_OPTIONS="$MATH_OPTIONS $SVG_OPTIONS $GTK_OPTIONS $GENERIC_XML_OPTIONS $I18N_OPTIONS $GL_OPTIONS $MOTIF_OPTIONS $NOGUI_OPTIONS"
 #PLUGIN_OPTIONS="-DPLUGIN_TRACE -DXP_UNIX"  #PLUGIN_OPTIONS="-DPLUGIN_TRACE -DXP_UNIX"
 AMAYA_ANNOT_OPTIONS="$AMAYA_ANNOT_OPTIONS $I18N_OPTIONS"  AMAYA_ANNOT_OPTIONS="$AMAYA_ANNOT_OPTIONS $I18N_OPTIONS"
   
Line 1394  if test "$with_motif" = "yes" ; then Line 1404  if test "$with_motif" = "yes" ; then
   fi    fi
 fi  fi
   
   if test "$with_nogui" = "yes" ; then
     echo "Amaya configured with no GUI toolkit"
   fi
     
 echo ""  echo ""
 echo "Now type \"make\" (GNU make preferably) to build the binaries"  echo "Now type \"make\" (GNU make preferably) to build the binaries"
 echo ""  echo ""

Removed from v.1.120  
changed lines
  Added in v.1.121


Webmaster