Diff for /Amaya/configure.in between versions 1.34 and 1.35

version 1.34, 1998/10/02 16:11:49 version 1.35, 1998/10/07 18:51:41
Line 565  if test "$build_amaya" = "yes" ; then Line 565  if test "$build_amaya" = "yes" ; then
             with_java_sources="no"              with_java_sources="no"
         fi           fi 
         #          #
         # Verify that BISS AWT implemetation is available.  
         #  
         if test -f $srcdir/kaffe-$KAFFE_VER/packages/biss-net.com/APIawt/classes/biss.zip ; then  
             java_awt_option="$java_awt_option"  
         else  
             java_awt_option="$java_awt_option -DJAVA_NO_AWT"  
         fi   
         #  
         # Then check for precompiled classes packages.          # Then check for precompiled classes packages.
         #          #
         if test -f $srcdir/classes/thotlib.zip -a \          if test -f $srcdir/classes/thotlib.zip -a \
Line 591  if test "$build_amaya" = "yes" ; then Line 583  if test "$build_amaya" = "yes" ; then
         then          then
             AC_MSG_WARN(Amaya Java classes not found : disabling Java!)              AC_MSG_WARN(Amaya Java classes not found : disabling Java!)
             with_java="no"              with_java="no"
           else
               #
               # kaffe may require libgmp ...
               #
               AC_CHECK_LIB(gmp,mpz_abs)
         fi          fi
     fi      fi
   

Removed from v.1.34  
changed lines
  Added in v.1.35


Webmaster