From 2a4908e5e85720e358876f2d840bf09475f79281 Mon Sep 17 00:00:00 2001 From: Jacob Date: Sun, 28 Jul 2013 10:40:51 +0100 Subject: remove various other unnecessaries --- src/eval_bevan/eval_bevan.sh | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 src/eval_bevan/eval_bevan.sh (limited to 'src/eval_bevan/eval_bevan.sh') 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 -- cgit v1.2.3