diff options
Diffstat (limited to 'ci/manifest-sources-8.11')
-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 ../.. |