#!/bin/sh
# 
# DEBUG script to run RPS2 services by hand on
# test prop 4 to get all the output from the
# services
#

#ENVHERE

TCL_LIBRARY=${RPS2_DIR}initfiles/tcl ; export TCL_LIBRARY ;
TCLX_LIBRARY=${RPS2_DIR}initfiles/tclX ; export TCLX_LIBRARY ;
TK_LIBRARY=${RPS2_DIR}initfiles/tk ; export TK_LIBRARY ;
TKX_LIBRARY=${RPS2_DIR}initfiles/tk ; export TKX_LIBRARY ;
DP_LIBRARY=${RPS2_DIR}initfiles/dp ; export DP_LIBRARY ;
ALLEGRO_CL_HOME=${RPS2_DIR}bin ; export ALLEGRO_CL_HOME ;

# Go to testprop directory
cd ${RPS2_DIR}testprops

# Run PP by hand
${RPS2_DIR}bin/bigtcl ${RPS2_DIR}services/PP/preprocess -rps2 -from ./ -to ./ 4.prop

# Run TRANS by hand
${RPS2_DIR}bin/trans-rps2.image -qq -- :run-trans 4 ":rps-stamp 12324321 :phase :rps2 :input \"${RPS2_DIR}testprops/\" :output \"${RPS2_DIR}testprops/\" :echo-diagnostics nil :verbose nil :debug nil"

# Run CASM by hand
${RPS2_DIR}bin/casm-rps2.image -qq -- :run-casm 4  ALL ${RPS2_DIR}casmfiles/casm-control/ cyc ${RPS2_DIR}testprops/ ${RPS2_DIR}testprops/ ${RPS2_DIR}testprops/ ${RPS2_DIR}testprops/ ${RPS2_DIR}testprops/ ${RPS2_DIR}casmfiles/moss/ 0 0 ${RPS2_DIR}bin ${RPS2_DIR}testprops/

# Run DG by hand
${RPS2_DIR}bin/bigwish -f ${RPS2_DIR}services/dg/descgen -mode postscript 4