Welcome To Our Shell

Mister Spy & Souheyl Bypass Shell

#!/bin/csh
#
# This script takes otter-style input for a first-order model search,
# pipes it through Otter to generate input for anldp, then pipes that
# to anldp.  The command-line options are given to anldp unchanged.
#
# Set the following variables to appropriate otter and anldp binaries.
#

set OTTER=otter
set ANLDP=/root/6/mace-1.3.4/anldp
set TEMP=/tmp/mace-$$

sed '1s/^/set(dp_transform). /' | $OTTER > $TEMP

if ($status != 0) then
    cat $TEMP
    /bin/rm $TEMP
    exit 1
else
    # This is kludgey, but I don't see a better way to do it.
    # Wait until the  anldp job gets started, then rm the temp file.
    (sleep 3; /bin/rm $TEMP) &
    awk '/START OF DP INPUT/,/END OF DP INPUT/' $TEMP | grep -v %  \
	| $ANLDP $argv
    exit $status
endif