aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Expand)Author
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-08Fix issue #9722 pkg-config not foundMichael Soegtrop
2019-01-29Merge PR #9383: Remove travisVincent Laporte
2019-01-23Merge PR #9043: [windows] Cleanup cruft from `dev/build/windows`Michael Soegtrop
2019-01-22Remove travisGaëtan Gilbert
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
2018-12-25[windows] Cleanup cruft from `dev/build/windows`Emilio Jesus Gallego Arias
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-12-12Fix issue #9191 : Windows: parallel build is not enabled for some modules whi...Michael Soegtrop
2018-12-12Fix issue #9190 : Windows: overlay names changed in ci-basic-overlay.sh but h...Michael Soegtrop
2018-12-12Fix issue #9175 Windows: VST addon does not work if CompCert is also installedMichael Soegtrop
2018-11-28[Windows CI] Do not build any addon if WINDOWS is not enabled_all_addons.Théo Zimmermann
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-17[devtools] Small script to setup overlays automaticallyEmilio Jesus Gallego Arias
2018-11-06Fix overlays on Windows CIGaëtan Gilbert
2018-10-08[ci] Add aac-tactics.Théo Zimmermann
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-10-03Fix review change requestsMichael Soegtrop
2018-10-03Fix issue #8321 "Add more useful addons to the Windows Installer"Michael Soegtrop
2018-10-02Fix issue #8611 - Change extensions of log files in WIndows build to _log.txt...Michael 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-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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:55:42 +0000