aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2018-01-18Merge PR #6448: Cleanup and add debug printers a bitMaxime Dénès
2018-01-08Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06Maxime Dénès
2017-12-28[Makefile] plugins micromega and nsatz depend on unix and numVincent Laporte
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-12-22Cleanup debug printers a bit, add generated mli.Gaëtan Gilbert
2017-12-20Merge PR #6234: Make the micromega extraction check a regular output test.Maxime Dénès
2017-12-18Merge PR #6305: Build with windows line endingsMaxime Dénès
2017-12-18Merge PR #6217: Do dependencies in 1 command per file class.Maxime Dénès
2017-12-16For bug 6249, Segmentation fault when building Coq on Windows 10.Jim
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
2017-12-10[make] remove unneeded generated file "tolink.ml"Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-11-28Make the micromega extraction check a regular output test.Gaëtan Gilbert
2017-11-16Fix micromega.ml to match generated file and enforce match in make.Gaëtan Gilbert
2017-10-11Merge PR #1054: Restoring test on ident validity while browsing directory str...Maxime Dénès
2017-10-10Restoring test on ident validity while browsing directory structure.Hugo Herbelin
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-10-07Fix hardcoded boot dependencies after #1041.Gaëtan Gilbert
2017-10-05Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Maxime Dénès
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-09-13Supporting library names in utf8 in coqdep.Hugo Herbelin
2017-08-31Merge PR #958: coq_makefile: build/use .cma for packed plugins tooMaxime Dénès
2017-08-29Merge PR #773: [flags] Remove XML output flag.Maxime Dénès
2017-08-29test-suite: depend on byte compilation tooEnrico Tassi
2017-08-12More portable location for the time command.Théo Zimmermann
2017-08-01[flags] Remove XML output flag.Emilio Jesus Gallego Arias
2017-08-01Merge PR #921: [make] remove compat5 file.Maxime Dénès
2017-07-28Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceMaxime Dénès
2017-07-27[make] remove compat5 file.Emilio Jesus Gallego Arias
2017-07-26make sure that API-leaks cannot be reintroduced by mistakeMatej Košík
2017-07-20Merge branch 'v8.7'Maxime Dénès
2017-07-17[API] Remove `open API` in ml files in favor of `-open API` flag.Emilio Jesus Gallego Arias
2017-07-11Add timing scriptsJason Gross
2017-07-08Fix TIMED=1 on Mac OSXJason Gross
2017-07-05Makefile: fails if some .vo or .cm* file has no sourcePierre Letouzey
2017-06-30Better support for make TIMED=1 on WindowsJason Gross
2017-06-15Makefile.build : restore (temporarily?) the anti-cmi-corruption hacksPierre Letouzey
2017-06-14Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Pierre Letouzey
2017-06-14Merge PR#498: Bignums as a separate opam packageMaxime Dénès
2017-06-13Makefile.build: do *not* build PLUGINSCMO by default (followup of PR #709)Pierre Letouzey
2017-06-13BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Pierre Letouzey
2017-06-12Store plugins/micromega/micromega.{ml,mli} files in the repository. Try to ge...Matej Košík
2017-06-12Merge PR#709: Bytecode compilation apart from 'make world', againMaxime Dénès
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-06-02Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin...Maxime Dénès
2017-06-01mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsPierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:56:59 +0000