From c610c036616d0b06e9036c4d17be6168619a6332 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Thu, 5 Nov 2015 01:24:26 -0800
Subject: pyabc: remove python integration from abc, it is moved to a separate
 extension

---
 scripts/multi_prove.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 scripts/multi_prove.sh

(limited to 'scripts/multi_prove.sh')

diff --git a/scripts/multi_prove.sh b/scripts/multi_prove.sh
deleted file mode 100644
index 4729d179..00000000
--- a/scripts/multi_prove.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-abc_root()
-{
-    cwd="$(pwd)"
-    cd $(dirname "$1")
-    echo $(dirname "$(pwd)")
-    cd "${cwd}"
-}
-
-abc_dir=$(abc_root "$0")
-bin_dir="${abc_dir}"/bin
-
-exec ${bin_dir}/abc -q "/multi_prove_aiger $*"
-- 
cgit v1.2.3