From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 dev/ci/ci-sf.sh | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'dev/ci/ci-sf.sh')

diff --git a/dev/ci/ci-sf.sh b/dev/ci/ci-sf.sh
index 58bbb722..60436e67 100755
--- a/dev/ci/ci-sf.sh
+++ b/dev/ci/ci-sf.sh
@@ -8,11 +8,6 @@ wget -qO- "${sf_lf_CI_TARURL}"  | tar xvz
 wget -qO- "${sf_plf_CI_TARURL}" | tar xvz
 wget -qO- "${sf_vfa_CI_TARURL}" | tar xvz
 
-sed -i.bak '1i From Coq Require Extraction.' lf/Extraction.v
-sed -i.bak '1i From Coq Require Extraction.' vfa/Extract.v
-
-( cd lf && make clean && make )
-
-( cd plf && sed -i.bak 's/(K,N)/((K,N))/' LibTactics.v && make clean && make )
-
+( cd lf  && make clean && make )
+( cd plf && make clean && make )
 ( cd vfa && make clean && make )
-- 
cgit v1.2.3