aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Expand)Author
2018-09-19Fix Windows builds: OPAM has changed its URL schema.Théo Zimmermann
2018-09-02Fix the order of sourcing of overlays in Windows build script as well.Théo Zimmermann
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
2018-08-22Fix issue #8298 OCaml 4.07 download path is incorrectMichael Soegtrop
2018-07-15Use GitHub as the location for OCaml sources.Théo Zimmermann
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
2018-06-27Fix 'unbound variable' issue on Windows packaging jobs.Théo Zimmermann
2018-06-26Merge PR #7831: Fix for issue #7707: include Ltac2 and Equations in Windows b...Maxime Dénès
2018-06-25Reuse CI info to know which version of plugins to build on Windows.Théo Zimmermann
2018-06-25Fix for issue 7707: include Ltac2 and Equations in Windows buildMichael Soegtrop
2018-06-22Fix Windows install script following removal of INSTALL.ide and move of INSTA...Théo Zimmermann
2018-06-02[appveyor] Use OCaml version 4.06.1 in the Windows build.Emilio Jesus Gallego Arias
2018-05-16[windows] Don't make menhir and int anymore.Emilio Jesus Gallego Arias
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
2018-05-03Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...Michael Soegtrop
2018-05-03Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyMichael Soegtrop
2018-04-08Merge PR #6809: Improve shell scriptsMichael Soegtrop
2018-04-05Improve shell scriptszapashcanon
2018-04-05Fixes issue #7172 (don't include MinGW make in install)Michael Soegtrop
2018-03-26Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes AppV...Maxime Dénès
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
2018-02-12Tentative fix for #6520: camlcity.org unresponsive makes AppVeyor fail.Théo Zimmermann
2018-01-04Normalize MacOS installer name.Théo Zimmermann
2018-01-04Normalize Windows installer names.Théo Zimmermann
2017-12-27Fix #5998: AppVeyor package building is currently failingMaxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-01uninstall doc dir, not dev (which is not installed), #6007Paul Steckler
2017-10-25Put newlines at the end of files.Gaëtan Gilbert
2017-10-03Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META fileMaxime Dénès
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-11Disable OSX signing for temporary artifacts.Maxime Dénès
2017-09-07dev/build/windows/makecoq_mingw.sh: install camlp5's META fileEnrico Tassi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:26:55 +0000