TC/execute.sh

   1 #!/bin/sh
   2 #export TET_INSTALL_PATH=/mnt/nfs/tetware
   3 export TET_INSTALL_PATH=/scratchbox/tetware
   4 export TET_TARGET_PATH=$TET_INSTALL_PATH/tetware-target
   5 export PATH=$TET_TARGET_PATH/bin:$PATH
   6 export LD_LIBRARY_PATH=$TET_TARGET_PATH/lib/tet3:$LD_LIBRARY_PATH
   7
   8 export TET_ROOT=$TET_TARGET_PATH
   9
  10 export TET_SUITE_ROOT=`pwd`
  11 FILE_NAME_EXTENSION=`date +%s`
  12
  13 RESULT_DIR=results
  14 HTML_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.html
  15 JOURNAL_RESULT=$RESULT_DIR/exec-tar-result-$FILE_NAME_EXTENSION.journal
  16
  17 mkdir -p $RESULT_DIR
  18
  19 tcc -e -j $JOURNAL_RESULT -p ./
  20 grw -c 3 -f chtml -o $HTML_RESULT $JOURNAL_RESULT