psl.sh 364 Bytes
Newer Older
1 2 3 4 5 6 7
#!/bin/bash

if [ $# -eq 0 ] 
then
    echo "Usage: ./psl.sh FILENAME.psl"
else
    pslFile=$1
8
    python psl.py $pslFile
9 10 11 12 13 14
    maudeExtension="maude"
    pslExtension=".psl"
    maudeFile="${pslFile/psl/$maudeExtension}"
    echo "./maude27 -no-prelude prelude.maude maude-npa.maude $maudeFile"
    ./maude27 -no-prelude prelude.maude maude-npa.maude $maudeFile
fi