Diff for /Amaya/configure.in between versions 1.36 and 1.37

version 1.36, 1998/10/07 21:34:40 version 1.37, 1998/10/17 17:38:36
Line 557  if test "$build_amaya" = "yes" ; then Line 557  if test "$build_amaya" = "yes" ; then
         # Verify that Java code is available.          # Verify that Java code is available.
         # Look first for thotlib, amaya and jigsaw classes source code          # Look first for thotlib, amaya and jigsaw classes source code
         #          #
         if test -f $srcdir/classes/org/w3c/thotlib/Element.java -a \          if test -f $srcdir/classes/org/w3c/www/protocol/http/HttpURLConnection.java \
                 -f $srcdir/classes/org/w3c/amaya/amayaInit.java -a \  
                 -f $srcdir/classes/org/w3c/www/protocol/http/HttpURLConnection.java \  
                 ; then                  ; then
             with_java_sources="yes"              with_java_sources="yes"
         else          else
             with_java_sources="no"              with_java_sources="no"
         fi           fi 
         #          #
           # Then check for a sources ZIP for the classes.
           #
           if test -f $srcdir/classes/sources.zip \
                   ; then
               with_java_sources="yes"
           else
               with_java_sources="no"
           fi 
   
           #
         # Then check for precompiled classes packages.          # Then check for precompiled classes packages.
         #          #
         if test -f $srcdir/classes/jigsaw.zip \          if test -f $srcdir/classes/jigsaw.zip \

Removed from v.1.36  
changed lines
  Added in v.1.37


Webmaster