diff options
Diffstat (limited to 'ci/manifest-sources-8.11')
-rw-r--r-- | ci/manifest-sources-8.11 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/manifest-sources-8.11 b/ci/manifest-sources-8.11 index 043c626..b93f959 100644 --- a/ci/manifest-sources-8.11 +++ b/ci/manifest-sources-8.11 @@ -27,6 +27,7 @@ tasks: cd smtcoq git checkout coq-8.11 cd src + ./configure.sh make make install cd ../.. |