c2pdg_suif.in

   1 #!/bin/bash
   2
   3 if test $# -lt 1; then
   4     echo "Syntax: c2pdg input.c"
   5     exit
   6 fi
   7
   8 while test $# -gt 1; do
   9     args="$args $1"
  10     shift
  11 done
  12
  13 file=${1%.c}
  14 shift
  15
  16 export PATH=$PATH:@SUIFPLATFORM@/bin
  17 export SUIFPATH=$PATH
  18 export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:@SUIFPLATFORM@/solib
  19
  20 scc -.snt $file.c
  21 porky -fixbad -no-index-mod -no-empty-fors -no-empty-table -control-simp -fold -kill-redundant-line-marks $file.snt $file.spd
  22 `dirname $0`/pers $args $file.spd ${file}_d.spd > $file.yaml