aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml
AgeCommit message (Expand)Author
2018-07-03Coq_makefile.generate_conf_coq_config: remove unused argument.Gaëtan Gilbert
2018-04-13[coq_makefile] COQMF_WINDRIVE is empty on linux (fix #7233)Enrico Tassi
2018-03-09Merge PR #6851: Fix #6830: coqdep VDFILE uses too many arguments for fiat-cry...Maxime Dénès
2018-03-06Closes #6830: coqdep reads options and files from _CoqProject.Gaëtan Gilbert
2018-03-01Add source (project file / command line) to project fields.Gaëtan Gilbert
2018-02-28Fix #6830: coqdep VDFILE uses too many arguments for fiat-crypto/OSXGaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-15coq_makefile: Support "" as the prefix in _CoqProjectJoachim Breitner
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-23Registering a printing handler in coq_makefile.Hugo Herbelin
2017-12-23Forbidding -o and -f in input file of coq_makefile.Hugo Herbelin
2017-12-23Removing failure of coq_makefile on no arguments.Hugo Herbelin
2017-10-10Fix BZ#5780: coq_makefile broken under CygwinRalf Jung
2017-09-21Properly handle "coq_makefile -Q . Foo" (bug #5580).Guillaume Melquiond
2017-08-29coq_makefile: print error message when coqlib is not set properlyEnrico Tassi
2017-08-12fix coq_makefileMatej Košík
2017-07-20coq-makefile: strip windows drive letter when DESTDIR is not emptyEnrico Tassi
2017-07-20coq-makefile: treat coq_makefile as any other coq binaryEnrico Tassi
2017-07-20coq-makefile: quote using ' to preserve \ (windows paths)Enrico Tassi
2017-07-17[API] Remove `open API` in ml files in favor of `-open API` flag.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-23coq_makefile: don't quote extra arguments (-arg)Enrico Tassi
2017-05-23Make install a single colon target for retro compatibilityEnrico Tassi
2017-05-23enters coq_makefile2Enrico Tassi
2017-05-23Put the list of Coq sources subdirectories in one placeEnrico Tassi
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-04-27Warning 29: non escaped end of line may be non portableGaetan Gilbert
2017-04-07[camlpX] Enrico's changes to camlp4 removal.Emilio Jesus Gallego Arias
2017-03-22Merge branch 'v8.6'Pierre-Marie Pédrot
2017-03-14[safe-string] Enable -safe-string !Emilio Jesus Gallego Arias
2017-03-14[safe-string] toolsEmilio Jesus Gallego Arias
2017-03-14Fix #5132: coq_makefile generates incorrect install goalVadim Zaliva
2017-02-17Removing spurious folder includes in coq_makefile.Pierre-Marie Pédrot
2017-02-15[stm] Break stm/toplevel dependency loop.Emilio Jesus Gallego Arias
2017-01-13Properly remove aux files in subdirectories (bug #5089).Erik Martin-Dorel
2016-11-21Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Guillaume Melquiond
2016-07-19Allow `STDTIME=foo make`Jason Gross
2016-07-07Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-07-05Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Guillaume Melquiond
2016-06-29coq_makefile : do not build bytecode versions of plugins by defaultPierre Letouzey
2016-06-27Fix off-by-1 bug in coq_makefileMatthieu Sozeau
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-14Merge branch "LtacProf for trunk" (PR #165).Pierre-Marie Pédrot
2016-06-10coq_makefile: oups, a missing ; in my previous commitPierre Letouzey
2016-06-10coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)Pierre Letouzey
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 21:12:23 +0000