From 043a7f049e3e88e91317524dfc5d9b06c89fdbe7 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 14 Oct 2018 17:26:30 +0200
Subject: [ci] [sf] Remove sed hacks from the SF build.

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

(limited to 'dev/ci')

diff --git a/dev/ci/ci-sf.sh b/dev/ci/ci-sf.sh
index 58bbb7229f..60436e672c 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