#!/bin/csh
#
# jjoosc - compile JOOS source programs into class files and verify them
#        - assumes that the CLASSPATH is NOT set
#
# usage:  joosc f1.java f2.java ... fn.joos
#  
# note:  it is best to name each source file for ordinary classes with
#        .java extensions and all exteranal classes with .joos extensions

if ( { echo ==== joosing $* && $JOOSDIR/Bin/joos $JOOSDIR/Extern/javalib.joos $JOOSDIR/Extern/jooslib.joos $JOOSDIR/Extern/netlib.joos $JOOSDIR/Extern/awtlib.joos $JOOSDIR/Extern/appletlib.joos $* } ) then
  foreach f ( $* )
    if ( $f != "-O" ) then
      echo ======== jjasmin of $f:r.j && $JOOSDIR/Bin/jjasmin $f:r.j 
    endif
  end
  foreach f ( $* )
    if ( $f != "-O" ) then
      echo ======== verify $f:r.class && \
      jjavap -verify $f:r 
    endif
  end
endif

