From 6efe047422132d0c6c398531b80d27390420a7ab Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sat, 16 Mar 2019 15:29:44 +0100
Subject: Fix Equation's ci script

---
 dev/ci/ci-equations.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/ci-equations.sh b/dev/ci/ci-equations.sh
index b58a794da2..871d033f5b 100755
--- a/dev/ci/ci-equations.sh
+++ b/dev/ci/ci-equations.sh
@@ -5,5 +5,4 @@ ci_dir="$(dirname "$0")"
 
 git_download equations
 
-( cd "${CI_BUILD_DIR}/equations" && coq_makefile -f _CoqProject -o Makefile && \
-  make && make test-suite && make examples && make install)
+( cd "${CI_BUILD_DIR}/equations" && ./configure.sh coq && make ci)
-- 
cgit v1.2.3