TC/execute.sh

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