diff options
Diffstat (limited to 'src/eval_bevan/eval_bevan.sh')
-rwxr-xr-x | src/eval_bevan/eval_bevan.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/eval_bevan/eval_bevan.sh b/src/eval_bevan/eval_bevan.sh deleted file mode 100755 index 31e7941..0000000 --- a/src/eval_bevan/eval_bevan.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -in=$1 -cat $in | sed 's/W//g' | sed 's/( /(/g' | sed 's/ )/)/g' | sed 's/#.*//g' | sed 's/^0$/0/' | sed 's/()//g' | sed 's/ /,/g' > clean -./format_prolog.py clean ~/src/semparse-old/work_psmt/test.fun > test.pl - -swipl -l "/home/jacob/src/3p/wasp-1.0/data/geo-funql/eval/eval.pl" \ - < test.pl \ - > test.out - 2>> errlog |