aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/build
Commit message (Expand)AuthorAge
* [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Gravatar Emilio Jesus Gallego Arias2018-07-11
* Fix 'unbound variable' issue on Windows packaging jobs.Gravatar Théo Zimmermann2018-06-27
* Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows b...Gravatar Maxime Dénès2018-06-26
|\
| * Reuse CI info to know which version of plugins to build on Windows.Gravatar Théo Zimmermann2018-06-25
| * Fix for issue 7707: include Ltac2 and Equations in Windows buildGravatar Michael Soegtrop2018-06-25
* | Fix Windows install script following removal of INSTALL.ide and move of INSTA...Gravatar Théo Zimmermann2018-06-22
|/
* [appveyor] Use OCaml version 4.06.1 in the Windows build.Gravatar Emilio Jesus Gallego Arias2018-06-02
* [windows] Don't make menhir and int anymore.Gravatar Emilio Jesus Gallego Arias2018-05-16
* Windows packaging build with Gitlab CIGravatar Maxime Dénès2018-05-11
* Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...Gravatar Michael Soegtrop2018-05-03
* Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyGravatar Michael Soegtrop2018-05-03
* Merge PR #6809: Improve shell scriptsGravatar Michael Soegtrop2018-04-08
|\
| * Improve shell scriptsGravatar zapashcanon2018-04-05
* | Fixes issue #7172 (don't include MinGW make in install)Gravatar Michael Soegtrop2018-04-05
|/
* Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...Gravatar Maxime Dénès2018-03-26
|\
* | [win] update bignums to tag V8.8+beta1Gravatar Enrico Tassi2018-03-15
* | Hack to make bignum build on windowsGravatar Enrico Tassi2018-03-06
* | build: win: turn off build/installation of gnu MakeGravatar Enrico Tassi2018-03-06
* | installer: win: put addons in a separate packageGravatar Enrico Tassi2018-03-02
* | build: win: detect 404 as HTML filesGravatar Enrico Tassi2018-03-02
* | build: win: addon bignumsGravatar Enrico Tassi2018-03-02
* | build: win: support for addonsGravatar Enrico Tassi2018-03-02
* | Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
| * Tentative fix for #6520: camlcity.org unresponsive makes AppVeyor fail.Gravatar Théo Zimmermann2018-02-12
|/
* Normalize MacOS installer name.Gravatar Théo Zimmermann2018-01-04
* Normalize Windows installer names.Gravatar Théo Zimmermann2018-01-04
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 09:57:23 +0000