aboutsummaryrefslogtreecommitdiff
path: root/dev/build/windows/MakeCoq_MinGW.bat
AgeCommit message (Expand)Author
2021-01-04[win] remove old scripts, we now use the platform onesEnrico Tassi
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-12Windows CI: changed cygwin repo serverMichael Soegtrop
2020-01-22Clear patches folder before each windows build runMichael Soegtrop
2019-07-16Fix #9351 in master (Add Flocq, CoqInterval, Gappa tool and Gappa)Michael Soegtrop
2019-06-11Resolve #9885 CoqIDE does not work on WindowsMichael Soegtrop
2019-05-21Fixing typos - Part 1JPR
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2018-12-20Fix line ending issuesGaëtan Gilbert
2018-12-17Fix git line ending conversion in windowsGaëtan Gilbert
2018-12-12Fix issue #9176 : Windows: change cygwin repoMichael Soegtrop
2018-10-01Fix issue 8610 - Change important CI DOS batch files to CRLFMichael Soegtrop
2018-09-21Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean...Michael Soegtrop
2018-06-25Fix for issue 7707: include Ltac2 and Equations in Windows buildMichael Soegtrop
2018-04-05Fixes issue #7172 (don't include MinGW make in install)Michael Soegtrop
2018-03-02build: win: support for addonsEnrico Tassi
2017-12-16Fix build fileJim
2017-09-21Do not reinstall preinstalled packages under AppVeyor.Maxime Dénès
2017-09-21Print Cygwin setup output rather than logging in to a file.Maxime Dénès
2017-09-05In regression test mode, run cygwin setup to install dependencies.Maxime Dénès
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
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-13 06:46:55 +0000