aboutsummaryrefslogtreecommitdiff
path: root/dev/build
AgeCommit message (Collapse)Author
2018-07-11[ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Emilio Jesus Gallego Arias
- We update the OCaml version used in the base CI image. - Windows / OSX image building is also updated to use newer OCaml. - We also update Dune to 1.0.0.
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 ↵Maxime Dénès
build
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
On the way I also fixed some minor issues with calling MakeCoq_MinGW from cygwin.
2018-06-22Fix Windows install script following removal of INSTALL.ide and move of ↵Théo Zimmermann
INSTALL.doc.
2018-06-02[appveyor] Use OCaml version 4.06.1 in the Windows build.Emilio Jesus Gallego Arias
We bump Windows builds to 4.06.1, IMHO it makes sense to use the latest OCaml version to build on that platform due to the support status and number of fixes.
2018-05-16[windows] Don't make menhir and int anymore.Emilio Jesus Gallego Arias
As pointed out by @MSoegtropIMC [here](https://github.com/coq/coq/pull/7522#issuecomment-389478963) there are not needed to build the packages, so not building them will save a couple of minutes.
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
We use a specific runner on Inria CloudStack. This allows us to have the same build infrastructure setup for signed and unsigned binary packages. The main Coq repository on Gitlab will produce unsigned binaries, using a runner without secret. On my repository, a one-click operation will sign the packages, making this part of the release process smoother.
2018-05-03Fixes issue #7083 / Windows build: Unify build logging to console (for ↵Michael Soegtrop
appveyor) and files
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 ↵Maxime Dénès
AppVeyor fail.
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
longer use camlp4.
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
We remove coqmktop in favor of a couple of simple makefile rules using ocamlfind. In order to do that, we introduce a new top-level file that calls the coqtop main entry. This is very convenient in order to use other builds systems such as `ocamlbuild` or `jbuilder`. An additional consideration is that we must perform a side-effect on init depending on whether we have an OCaml toplevel available [byte] or not. We do that by using two different object files, one for the bytecode version other for the native one, but we may want to review our choice. We also perform some smaller cleanups taking profit from ocamlfind.
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
It seems that reinstalling gcc can leave Cygwin in a strange state, where invocations of gcc fail suddenly. I haven't figure out exactly why, but this seems to fix it.
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
The OSX binaries were signed twice with a fake identity, leading to some obscure errors on Travis in some cases. We disable code signing for Travis artifacts. For released packages, a proper signing will be applied manually.
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
It is no longer accepted by Coq's ./configure.
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
The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
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
2017-06-26Fix libpcre dependency issue under Windows.Maxime Dénès
2017-06-26Fix proxy setting issueMichael Soegtrop
2017-06-26Fixes bug #5561,#5562 in Windows build systemMichael Soegtrop
2017-05-18Fix a typoJason Gross
2016-12-08Windows build scripts for 8.6 final.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 05:54:17 +0000