aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* [lib] Split auxiliary libraries into Coq-specific and general.Gravatar Emilio Jesus Gallego Arias2017-12-23
* Merge PR #6234: Make the micromega extraction check a regular output test.Gravatar Maxime Dénès2017-12-20
|\
* \ Merge PR #6305: Build with windows line endingsGravatar Maxime Dénès2017-12-18
|\ \
* \ \ Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \ \
| | * | For bug 6249, Segmentation fault when building Coq on Windows 10.Gravatar Jim2017-12-16
| * | | Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
| |/ /
* | | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \
* | | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| |/ / |/| |
| * | [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
| * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
|/ /
| * Make the micromega extraction check a regular output test.Gravatar Gaëtan Gilbert2017-11-28
|/
* Fix micromega.ml to match generated file and enforce match in make.Gravatar Gaëtan Gilbert2017-11-16
* Merge PR #1054: Restoring test on ident validity while browsing directory str...Gravatar Maxime Dénès2017-10-11
|\
| * Restoring test on ident validity while browsing directory structure.Gravatar Hugo Herbelin2017-10-10
* | [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
|/
* Fix hardcoded boot dependencies after #1041.Gravatar Gaëtan Gilbert2017-10-07
* Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Gravatar Maxime Dénès2017-10-05
|\
* | coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
| * Supporting library names in utf8 in coqdep.Gravatar Hugo Herbelin2017-09-13
|/
* Merge PR #958: coq_makefile: build/use .cma for packed plugins tooGravatar Maxime Dénès2017-08-31
|\
* \ Merge PR #773: [flags] Remove XML output flag.Gravatar Maxime Dénès2017-08-29
|\ \
| | * test-suite: depend on byte compilation tooGravatar Enrico Tassi2017-08-29
| |/ |/|
* | More portable location for the time command.Gravatar Théo Zimmermann2017-08-12
| * [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
|/
* Merge PR #921: [make] remove compat5 file.Gravatar Maxime Dénès2017-08-01
|\
* \ Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceGravatar Maxime Dénès2017-07-28
|\ \
| | * [make] remove compat5 file.Gravatar Emilio Jesus Gallego Arias2017-07-27
| |/ |/|
* | make sure that API-leaks cannot be reintroduced by mistakeGravatar Matej Košík2017-07-26
* | Merge branch 'v8.7'Gravatar Maxime Dénès2017-07-20
|\ \
* | | [API] Remove `open API` in ml files in favor of `-open API` flag.Gravatar Emilio Jesus Gallego Arias2017-07-17
| * | Add timing scriptsGravatar Jason Gross2017-07-11
| * | Fix TIMED=1 on Mac OSXGravatar Jason Gross2017-07-08
|/ /
| * Makefile: fails if some .vo or .cm* file has no sourceGravatar Pierre Letouzey2017-07-05
* | Better support for make TIMED=1 on WindowsGravatar Jason Gross2017-06-30
|/
* Makefile.build : restore (temporarily?) the anti-cmi-corruption hacksGravatar Pierre Letouzey2017-06-15
* Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Gravatar Pierre Letouzey2017-06-14
* Merge PR#498: Bignums as a separate opam packageGravatar Maxime Dénès2017-06-14
|\
* | Makefile.build: do *not* build PLUGINSCMO by default (followup of PR #709)Gravatar Pierre Letouzey2017-06-13
| * BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
|/
* Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...Gravatar Matej Košík2017-06-12
* Merge PR#709: Bytecode compilation apart from 'make world', againGravatar Maxime Dénès2017-06-12
|\
* | Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* | Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin...Gravatar Maxime Dénès2017-06-02
|\ \
| | * mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsGravatar Pierre Letouzey2017-06-01
| * | a solution that works also with make 3.81Gravatar Matej Kosik2017-06-01
| * | extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...Gravatar Matej Kosik2017-06-01
* | | Makefile.build: test-suite all = run + report, so don't report againGravatar Gaëtan Gilbert2017-05-31
|/ /
| * Makefile: $(BEST) controls which coqtop is used to build .voGravatar Pierre Letouzey2017-05-30
| * Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
|/