diff options
author | vblot <24938579+vblot@users.noreply.github.com> | 2021-05-28 18:29:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-28 18:29:37 +0200 |
commit | e12110637730d067c216abcc86185b761189b342 (patch) | |
tree | c9ed415bbdadb2801e4917aae4a803035b13d4e8 /ci | |
parent | 52980aab9541a12619eb9191a94e9b2ba4684447 (diff) | |
download | smtcoq-e12110637730d067c216abcc86185b761189b342.tar.gz smtcoq-e12110637730d067c216abcc86185b761189b342.zip |
getting rid of native-coq (#95)
Diffstat (limited to 'ci')
-rw-r--r-- | ci/manifest-sources-8.11 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/manifest-sources-8.11 b/ci/manifest-sources-8.11 index b93f959..795a34f 100644 --- a/ci/manifest-sources-8.11 +++ b/ci/manifest-sources-8.11 @@ -27,7 +27,7 @@ tasks: cd smtcoq git checkout coq-8.11 cd src - ./configure.sh + coq_makefile -f _CoqProject -o Makefile make make install cd ../.. |