From 2e7f2df3955cb0714af19d971dadc353547bc11a Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Thu, 16 Jan 2020 12:16:42 +0100
Subject: Fix CI manifest

---
 ci/manifest | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/manifest b/ci/manifest
index 33d9f6d..b002ce3 100644
--- a/ci/manifest
+++ b/ci/manifest
@@ -36,9 +36,12 @@ tasks:
     cd bin
     ln -s ~/cvc4-1.6-x86_64-linux-opt cvc4
     ln -s ~/veriT9f48a98/veriT veriT
-- test: |
+- unit: |
     eval $(opam env)
     export PATH=~/bin:$PATH
+    export LFSCSIGS="/home/build/smtcoq/src/lfsc/tests/signatures/"
+    export DONTSHOWVERIT="yes"
     cd smtcoq/unit-tests
+    sed -i "s/..\/src/~\/.opam\/ocaml-base-compiler.4.09.0\/lib\/coq\/user-contrib\/SMTCoq/g" Makefile
     make verit
     make lfsc
-- 
cgit