#!/usr/bin/csh
# Tar and compress an external distribution of wxProp

set init=
if ( $1 == "" ) then
goto usage
endif

if ( $2 == "" ) then
goto usage
endif

echo About to tar wxCLIPS distribution...
echo   From   $1
echo   To     $2/wxprop.tar.gz
echo CTRL-C if this is not correct.
set dummy=$<

/bin/rm -f $2/wxprop.tar.gz
cd $1/utils
/usr/bin/ls `cat $1/distrib/wxprop.rsp` > /tmp/tarwx
tar cvf $2/wxprop.tar -I /tmp/tarwx
/bin/rm -f /tmp/tarwx
echo Compressing...
gzip $2/wxprop.tar

echo
echo wxProp archived.
goto end

usage:
echo Make external wxProp distribution in gzipped format.
echo Makes wxprop.tar.gz.
echo Usage: tarprop source destination
echo e.g. tarprop ~/wx ~/wx/utils/wxprop/deliver

end: