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 "" |