From d0087639010e10a6e207836c837b7f61c9cb2e55 Mon Sep 17 00:00:00 2001
From: beta
Date: Sat, 13 Jun 2020 17:15:12 -0300
Subject: updated ci for unicoq

---
 dev/ci/ci-basic-overlay.sh | 2 +-
 dev/ci/ci-unicoq.sh        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev/ci')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 9737e1b2e0..cdf00f4767 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -31,7 +31,7 @@
 ########################################################################
 # Unicoq + Mtac2
 ########################################################################
-: "${unicoq_CI_REF:=68ed13294ea8860a8c39950f7ca2ff0aa7211b9f}"
+: "${unicoq_CI_REF:=master}"
 : "${unicoq_CI_GITURL:=https://github.com/unicoq/unicoq}"
 : "${unicoq_CI_ARCHIVEURL:=${unicoq_CI_GITURL}/archive}"
 
diff --git a/dev/ci/ci-unicoq.sh b/dev/ci/ci-unicoq.sh
index 36acb115e9..df1d9cceb8 100755
--- a/dev/ci/ci-unicoq.sh
+++ b/dev/ci/ci-unicoq.sh
@@ -5,4 +5,4 @@ ci_dir="$(dirname "$0")"
 
 git_download unicoq
 
-( cd "${CI_BUILD_DIR}/unicoq" && coq_makefile -f Make -o Makefile && make && make install )
+( cd "${CI_BUILD_DIR}/unicoq" && coq_makefile -f _CoqProject -o Makefile && make && make install )
-- 
cgit v1.2.3