Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge PR #6739: Tentative fix for #6520: camlcity.org unresponsive makes ↵ | 2018-03-26 | |
|\ | | | | | | | AppVeyor fail. | ||
* | | [win] update bignums to tag V8.8+beta1 | 2018-03-15 | |
| | | |||
* | | Hack to make bignum build on windows | 2018-03-06 | |
| | | |||
* | | build: win: turn off build/installation of gnu Make | 2018-03-06 | |
| | | |||
* | | installer: win: put addons in a separate package | 2018-03-02 | |
| | | |||
* | | build: win: detect 404 as HTML files | 2018-03-02 | |
| | | |||
* | | build: win: addon bignums | 2018-03-02 | |
| | | |||
* | | build: win: support for addons | 2018-03-02 | |
| | | |||
* | | Change references to CAMLP4 to CAMLP5 to be more accurate since we no | 2018-02-17 | |
| | | | | | | | | longer use camlp4. | ||
| * | Tentative fix for #6520: camlcity.org unresponsive makes AppVeyor fail. | 2018-02-12 | |
|/ | |||
* | Normalize MacOS installer name. | 2018-01-04 | |
| | |||
* | Normalize Windows installer names. | 2018-01-04 | |
| | |||
* | Fix #5998: AppVeyor package building is currently failing | 2017-12-27 | |
| | |||
* | [build] Remove coqmktop in favor of ocamlfind. | 2017-12-10 | |
| | | | | | | | | | | | | | | | | | 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. | ||
* | uninstall doc dir, not dev (which is not installed), #6007 | 2017-12-01 | |
| | |||
* | Put newlines at the end of files. | 2017-10-25 | |
| | |||
* | Merge PR #1023: dev/build/windows/makecoq_mingw.sh: install camlp5's META file | 2017-10-03 | |
|\ | |||
* | | Do not reinstall preinstalled packages under AppVeyor. | 2017-09-21 | |
| | | | | | | | | | | | | 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. | ||
* | | Print Cygwin setup output rather than logging in to a file. | 2017-09-21 | |
| | | |||
* | | Disable OSX signing for temporary artifacts. | 2017-09-11 | |
| | | | | | | | | | | | | | | | | 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. | ||
| * | dev/build/windows/makecoq_mingw.sh: install camlp5's META file | 2017-09-07 | |
|/ | |||
* | Make AppVeyor generate Windows package. | 2017-09-05 | |
| | |||
* | Remove -debug option from Windows build script. | 2017-09-05 | |
| | | | | It is no longer accepted by Coq's ./configure. | ||
* | Get sources of cygwin packages after building the installer. | 2017-09-05 | |
| | |||
* | Adapt Windows build script to new CoqIDE data installation directory. | 2017-09-05 | |
| | |||
* | Print more of the Coq build output. | 2017-09-05 | |
| | |||
* | Print Coq build output. | 2017-09-05 | |
| | |||
* | In regression test mode, run cygwin setup to install dependencies. | 2017-09-05 | |
| | |||
* | Make Travis generate OSX packages. | 2017-08-17 | |
| | | | | | The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq | ||
* | Add AppVeyor infrastructure, launching the test suite under Windows. | 2017-07-20 | |
| | |||
* | Merge branch 'v8.6' | 2017-07-04 | |
|\ | |||
| * | Fix libpcre dependency issue under Windows. | 2017-06-26 | |
| | | |||
| * | Fix proxy setting issue | 2017-06-26 | |
| | | |||
| * | Fixes bug #5561,#5562 in Windows build system | 2017-06-26 | |
| | | |||
* | | Fix a typo | 2017-05-18 | |
|/ | |||
* | Windows build scripts for 8.6 final. | 2016-12-08 | |
| | |||
* | Fix paths in 32-bit windows build scripts. | 2016-12-08 | |
| | |||
* | Add bat files for 8.6rc1 build. | 2016-12-07 | |
| | |||
* | Add bat files for 8.6beta1 build. | 2016-12-07 | |
| | |||
* | Remove README.win until we come up with new instructions. | 2016-11-14 | |
| | | | | | The recommended way to install Coq under windows is anyway to use the precompiled installer. | ||
* | Move OSX script. | 2016-11-10 | |
| | |||
* | Add Michael Soegtrop's new script to build windows installer. | 2016-11-10 | |