aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* Merge remote-tracking branch 'github/pr/229' into trunkGravatar Maxime Dénès2016-07-04
|\
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
| * Makefile: $(BEST) controls which coqtop is used to build .voGravatar Pierre Letouzey2016-06-29
| * Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
|/
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* remove an old workaround for OCaml 3.11 + MacOS natdynlinkGravatar Pierre Letouzey2016-06-24
* Makefile.build: mitigate potential issues with multiple creations of pack .cmiGravatar Pierre Letouzey2016-06-24
* Makefile.build: "make;make" should redo nothingGravatar Pierre Letouzey2016-06-22
* Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* Makefile.build: ensure a build failure in case of a missing ruleGravatar Pierre Letouzey2016-06-15
* Repair the build of ide/coqidetop.cmxs (fix #4812)Gravatar Pierre Letouzey2016-06-14
* Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
* Makefile: avoid overwriting test.ml when testing grammar.cmaGravatar Pierre Letouzey2016-06-08
* Removing the Q_constr file.Gravatar Pierre-Marie Pédrot2016-06-05
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Makefile.build: clean a bit the way MacOS binaries are signedGravatar Pierre Letouzey2016-06-02
* Makefile.build : follow-up of previous commitGravatar Pierre Letouzey2016-06-01
* Makefile.build : improved rules about .cm(x)aGravatar Pierre Letouzey2016-06-01
* Makefile.build : update the otags ruleGravatar Pierre Letouzey2016-06-01
* Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-28 23:55:38 +0000