1#!/bin/bash 2 3mem_script=$1 4conf_file=$2 5output_dir=$3 6 7IFS=$'\n' 8for line in `cat $conf_file`; do 9 file=`echo "$line" | grep -oP '(?<=name )[^ ]*(?= .*)'` 10 echo $line >${conf_file}.tmp 11 ${mem_script} ${conf_file}.tmp -o ${output_dir}/${file}.v 12done 13 14rm ${conf_file}.tmp 15