aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build
Commit message (Expand)AuthorAge
* Fix #5998: AppVeyor package building is currently failingGravatar Maxime Dénès2017-12-27
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* uninstall doc dir, not dev (which is not installed), #6007Gravatar Paul Steckler2017-12-01
* Put newlines at the end of files.Gravatar Gaëtan Gilbert2017-10-25
* Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META fileGravatar Maxime Dénès2017-10-03
|\
* | Do not reinstall preinstalled packages under AppVeyor.Gravatar Maxime Dénès2017-09-21
* | Print Cygwin setup output rather than logging in to a file.Gravatar Maxime Dénès2017-09-21
* | Disable OSX signing for temporary artifacts.Gravatar Maxime Dénès2017-09-11
| * dev/build/windows/makecoq_mingw.sh: install camlp5's META fileGravatar Enrico Tassi2017-09-07
|/
* Make AppVeyor generate Windows package.Gravatar Maxime Dénès2017-09-05
* Remove -debug option from Windows build script.Gravatar Maxime Dénès2017-09-05
* Get sources of cygwin packages after building the installer.Gravatar Maxime Dénès2017-09-05
* Adapt Windows build script to new CoqIDE data installation directory.Gravatar Maxime Dénès2017-09-05
* Print more of the Coq build output.Gravatar Maxime Dénès2017-09-05
* Print Coq build output.Gravatar Maxime Dénès2017-09-05
* In regression test mode, run cygwin setup to install dependencies.Gravatar Maxime Dénès2017-09-05
* Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
* Add AppVeyor infrastructure, launching the test suite under Windows.Gravatar Maxime Dénès2017-07-20
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * Fix libpcre dependency issue under Windows.Gravatar Maxime Dénès2017-06-26
| * Fix proxy setting issueGravatar Michael Soegtrop2017-06-26
| * Fixes bug #5561,#5562 in Windows build systemGravatar Michael Soegtrop2017-06-26
* | Fix a typoGravatar Jason Gross2017-05-18
|/
* Windows build scripts for 8.6 final.Gravatar Maxime Dénès2016-12-08
* Fix paths in 32-bit windows build scripts.Gravatar Maxime Dénès2016-12-08
* Add bat files for 8.6rc1 build.Gravatar Maxime Dénès2016-12-07
* Add bat files for 8.6beta1 build.Gravatar Maxime Dénès2016-12-07
* Remove README.win until we come up with new instructions.Gravatar Maxime Dénès2016-11-14
* Move OSX script.Gravatar Maxime Dénès2016-11-10
* Add Michael Soegtrop's new script to build windows installer.Gravatar Maxime Dénès2016-11-10