edits
[model-checker-benchmarks.git] / replace.sh
1 #!/bin/bash
2 #
3
4 # Get the directory in which this script is located
5 BINDIR="${0%/*}"
6
7 INPUT=$1
8
9 DIR=$2
10
11 if [ -z $DIR ]; then
12         echo "Usage: `basename $0` [INPUT_FILE]  [DIRECTORY_OF_SOURCE]"
13         exit
14 fi
15
16 TMP=$BINDIR/tmp
17
18 mkdir -p $TMP
19
20 wildcard=($(awk 'BEGIN {IFS="\t ";} /memory_order/ {print $2;}' $INPUT))
21 memory_order=($(awk 'BEGIN {IFS="\t ";} /memory_order/ {print $4;}' $INPUT))
22
23 for f in $DIR/*; do
24         echo "Replacing file $f"
25         newFile="$BINDIR/tmp/output-`basename $f`"
26         cp $f $newFile
27         for i in $(seq 0 $((${#wildcard[@]} - 1))) ;do
28                 old="wildcard(${wildcard[$i]})"
29                 new="${memory_order[$i]}"
30                 cmd="sed -i -e 's/$old/$new/g' $newFile"
31                 echo $cmd
32                 bash -c "$cmd"
33         done
34
35 done
36
37 #awk 'wildcard