#!/bin/csh

## Temporary file, for debugging purposes. (I forgot what sv is
## supposed to mean; savesystem, perhaps. This is what I test.)/JoeB

source shellenv


### Set up the specific (context depending) extra source files.
#rm specsv.sl
#cp -p sv/setsv.sl specsv.sl

### You may have added patches.sl and/or local.sl.

### Compile the binaries.
#mv logs/svcomplog logs/svcomplog~
#$psys/pslcomp <svcomp.sl >logs/svomplog

## Create svdump
mv logs/svmklog logs/svmklogold
$psys/psl <svtop.sl >logs/svmklog
