| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-12-25 | [windows] Cleanup cruft from `dev/build/windows` | Emilio Jesus Gallego Arias | |
| The amount of cruft we are carrying there is high enough as to even difficult navigation. More cleanup should be performed, but this is a first step. | |||
| 2018-03-02 | build: win: support for addons | Enrico Tassi | |
| 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-06-26 | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | |
| 2016-11-10 | Add Michael Soegtrop's new script to build windows installer. | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |