diff options
| author | coqbot-app[bot] | 2020-08-28 16:49:45 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-28 16:49:45 +0000 |
| commit | 165aca860f9caa842d47b728584b6ea29f6f6809 (patch) | |
| tree | 410901071b95ec86c002d025b22279c83a0f37d6 /dev/build | |
| parent | bbe60065397e61162bc43b40aa1d58201b639b88 (diff) | |
| parent | 21dd85bf7aa8c16e15735f5946650a200c9566f5 (diff) | |
Merge PR #11742: [numeral] [plugins] Remove Coq's `Bigint` module in favor of ZArith.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
Reviewed-by: liyishuai
Ack-by: MSoegtropIMC
Ack-by: ejgallego
Ack-by: maximedenes
Ack-by: proux01
Ack-by: vbgl
Diffstat (limited to 'dev/build')
| -rwxr-xr-x | dev/build/windows/MakeCoq_MinGW.bat | 1 | ||||
| -rwxr-xr-x | dev/build/windows/makecoq_mingw.sh | 11 |
2 files changed, 12 insertions, 0 deletions
diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat index fd6ea9bb09..8eff2cf577 100755 --- a/dev/build/windows/MakeCoq_MinGW.bat +++ b/dev/build/windows/MakeCoq_MinGW.bat @@ -389,6 +389,7 @@ IF "%RUNSETUP%"=="Y" ( -P libfontconfig1 ^
-P gtk-update-icon-cache ^
-P libtool,automake ^
+ -P libgmp-devel ^
-P intltool ^
-P bison,flex ^
%EXTRAPACKAGES% ^
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index cc9fd13fdc..cde1d798a0 100755 --- a/dev/build/windows/makecoq_mingw.sh +++ b/dev/build/windows/makecoq_mingw.sh @@ -1006,6 +1006,7 @@ function make_ocaml_tools { function make_ocaml_libs { make_num + make_zarith make_findlib make_lablgtk } @@ -1023,6 +1024,16 @@ function make_num { fi } +function make_zarith { + make_ocaml + if build_prep https://github.com/ocaml/Zarith/archive release-1.9.1 tar.gz 1 zarith-1.9.1; then + logn configure ./configure + log1 make + log2 make install + build_post + fi +} + ##### OCAMLBUILD ##### function make_ocamlbuild { |