37 lines
615 B
Bash
Executable File
37 lines
615 B
Bash
Executable File
#!/bin/bash
|
|
#
|
|
# Shell script to display the latex output relatively quickly. For
|
|
# internal testing only, as it depends on the spdl subdirectory.
|
|
#
|
|
# Usage example:
|
|
#
|
|
# ./testl ns3
|
|
#
|
|
|
|
file=../spdl/$1.spdl
|
|
template=../src/attacktemplate
|
|
|
|
if [ -f $file ]
|
|
then
|
|
|
|
../src/scyther --latex $file -o attack.tex
|
|
latex $template.tex
|
|
|
|
mv $template.dvi attack.dvi
|
|
dvips attack.dvi -o attack.ps
|
|
|
|
# also eps output now
|
|
ps2eps -f attack.ps
|
|
|
|
xdvi attack.dvi # for Xdvi
|
|
# kdvi attack.dvi # for KDE environment
|
|
# kghostview attack.ps # postscript in KDE
|
|
|
|
else
|
|
|
|
echo "No file $file found."
|
|
|
|
fi
|
|
|
|
|