aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
|/
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove richpp from fake_ide.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Converting certain "order-only" (Makefile) dependencies to regular dependencies.Gravatar Matej Kosik2016-10-19
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* Makefile.build: minor simplificationGravatar Pierre Letouzey2016-07-26
* Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Gravatar Pierre Letouzey2016-07-12
* Removing "READABLE_ML4=" from "Makefile.build"Gravatar Matej Kosik2016-07-12
* Removing "VERBOSE=" from "Makefile.build"Gravatar Matej Kosik2016-07-11
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05