lib-src/LOG

   1 for dir in algebra automata combinat compress contain csp database datetime encrypt gc generic graphics graph graphtype hash io memory numeric objc object objstore persist pipes pretty prettypr process prop resource rete rewrite shell stl strings symbolic trees tries vlsi backend-tools visualize; do \
   2    if [ -d $dir ]; then \
   3       cd $dir; \
   4         make -f Makefile CC="g++" COPTS="-O6 -fexternal-templates " \
   5         CINCLUDE="-I../../include" PROP="../../bin/prop" \
   6         PROP_OPTS="-strict -report -I../../include" || exit 1; \
   7         cd ..; \
   8    fi; \
   9 done
  10 make[1]: Entering directory `/u1/allen/src/Prop-2.3/prop-2.3.3/lib-src/automata'
  11 g++ -c -O6 -I../../include treeauto.cc