aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coq_makefile.ml
Commit message (Expand)AuthorAge
* Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Gravatar Maxime Dénès2018-03-09
|\
| * Closes #6830: coqdep reads options and files from _CoqProject.Gravatar Gaëtan Gilbert2018-03-06
| * Add source (project file / command line) to project fields.Gravatar Gaëtan Gilbert2018-03-01
| * Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGravatar Gaëtan Gilbert2018-02-28
* | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* coq_makefile: Support "" as the prefix in _CoqProjectGravatar Joachim Breitner2018-02-15
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Registering a printing handler in coq_makefile.Gravatar Hugo Herbelin2017-12-23
* Forbidding -o and -f in input file of coq_makefile.Gravatar Hugo Herbelin2017-12-23
* Removing failure of coq_makefile on no arguments.Gravatar Hugo Herbelin2017-12-23
* Fix BZ#5780: coq_makefile broken under CygwinGravatar Ralf Jung2017-10-10
* Properly handle "coq_makefile -Q . Foo" (bug #5580).Gravatar Guillaume Melquiond2017-09-21
* coq_makefile: print error message when coqlib is not set properlyGravatar Enrico Tassi2017-08-29
* fix coq_makefileGravatar Matej Košík2017-08-12
* coq-makefile: strip windows drive letter when DESTDIR is not emptyGravatar Enrico Tassi2017-07-20
* coq-makefile: treat coq_makefile as any other coq binaryGravatar Enrico Tassi2017-07-20
* coq-makefile: quote using ' to preserve \ (windows paths)Gravatar Enrico Tassi2017-07-20
* [API] Remove `open API` in ml files in favor of `-open API` flag.Gravatar Emilio Jesus Gallego Arias2017-07-17
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Add support for "-bypass-API" argument of "coq_makefile"Gravatar Matej Košík2017-06-12
* Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Gravatar Hugo Herbelin2017-05-29
* coq_makefile: don't quote extra arguments (-arg)Gravatar Enrico Tassi2017-05-23
* Make install a single colon target for retro compatibilityGravatar Enrico Tassi2017-05-23
* enters coq_makefile2Gravatar Enrico Tassi2017-05-23
* Put the list of Coq sources subdirectories in one placeGravatar Enrico Tassi2017-05-23
* CoqProject_file: API and code cleanup (tuples -> records)Gravatar Enrico Tassi2017-05-23
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* Warning 29: non escaped end of line may be non portableGravatar Gaetan Gilbert2017-04-27
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-03-22
|\
* | [safe-string] Enable -safe-string !Gravatar Emilio Jesus Gallego Arias2017-03-14
* | [safe-string] toolsGravatar Emilio Jesus Gallego Arias2017-03-14
| * Fix #5132: coq_makefile generates incorrect install goalGravatar Vadim Zaliva2017-03-14
* | Removing spurious folder includes in coq_makefile.Gravatar Pierre-Marie Pédrot2017-02-17
* | [stm] Break stm/toplevel dependency loop.Gravatar Emilio Jesus Gallego Arias2017-02-15
|/
* Properly remove aux files in subdirectories (bug #5089).Gravatar Erik Martin-Dorel2017-01-13
* Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Gravatar Guillaume Melquiond2016-11-21
* Allow `STDTIME=foo make`Gravatar Jason Gross2016-07-19
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-07-07
|\
* | Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
| * Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Gravatar Guillaume Melquiond2016-07-05
* | coq_makefile : do not build bytecode versions of plugins by defaultGravatar Pierre Letouzey2016-06-29
* | Fix off-by-1 bug in coq_makefileGravatar Matthieu Sozeau2016-06-27
* | Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* | Merge branch "LtacProf for trunk" (PR #165).Gravatar Pierre-Marie Pédrot2016-06-14
|\ \
* | | coq_makefile: oups, a missing ; in my previous commitGravatar Pierre Letouzey2016-06-10
* | | coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)Gravatar Pierre Letouzey2016-06-10
* | | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-09
|\ \ \ | | |/ | |/|
* | | coq_makefile: fix a crucial typo in e9c57a3Gravatar Pierre Letouzey2016-06-08
| * | Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).Gravatar Guillaume Melquiond2016-06-07