aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Expand)Author
2017-09-05Make AppVeyor generate Windows package.Maxime Dénès
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-09-05In regression test mode, run cygwin setup to install dependencies.Maxime Dénès
2017-08-17Make Travis generate OSX packages.Maxime Dénès
2017-07-20Add AppVeyor infrastructure, launching the test suite under Windows.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-26Fix proxy setting issueMichael Soegtrop
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
2017-05-18Fix a typoJason Gross
2016-12-08Windows build scripts for 8.6 final.Maxime Dénès
2016-12-08Fix paths in 32-bit windows build scripts.Maxime Dénès
2016-12-07Add bat files for 8.6rc1 build.Maxime Dénès
2016-12-07Add bat files for 8.6beta1 build.Maxime Dénès
2016-11-14Remove README.win until we come up with new instructions.Maxime Dénès
2016-11-10Move OSX script.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-02-01 18:21:46 +0000