#!/bin/csh -f

# Replace <ovl install path> with your OVL installation path
setenv OVL <ovl install path>/std_ovl

setenv syn_dir `pwd`

cd ${OVL}/vhdl93
foreach checker (ovl_*_rtl.vhd)
  sed s/rtl\'path_name/\"\"/ $checker > ${syn_dir}/$checker
end
cd $syn_dir