aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/makecoq_mingw.sh
AgeCommit message (Expand)Author
2018-03-15[win] update bignums to tag V8.8+beta1Enrico Tassi
2018-03-06Hack to make bignum build on windowsEnrico Tassi
2018-03-06build: win: turn off build/installation of gnu MakeEnrico Tassi
2018-03-02installer: win: put addons in a separate packageEnrico Tassi
2018-03-02build: win: detect 404 as HTML filesEnrico Tassi
2018-03-02build: win: addon bignumsEnrico Tassi
2018-03-02build: win: support for addonsEnrico Tassi
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-27Fix #5998: AppVeyor package building is currently failingMaxime Dénès
2017-09-07dev/build/windows/makecoq_mingw.sh: install camlp5's META fileEnrico Tassi
2017-09-05Remove -debug option from Windows build script.Maxime Dénès
2017-09-05Get sources of cygwin packages after building the installer.Maxime Dénès
2017-09-05Adapt Windows build script to new CoqIDE data installation directory.Maxime Dénès
2017-09-05Print more of the Coq build output.Maxime Dénès
2017-09-05Print Coq build output.Maxime Dénès
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-06-26Fix libpcre dependency issue under Windows.Maxime Dénès
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
2017-05-18Fix a typoJason Gross
2016-11-14Remove README.win until we come up with new instructions.Maxime Dénès
2016-11-10Add Michael Soegtrop's new script to build windows installer.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 13:17:19 +0000