aboutsummaryrefslogtreecommitdiff
path: root/tools/CoqMakefile.in
AgeCommit message (Expand)Author
2017-07-07Merge PR #844: Better support for make TIMED=1 on WindowsMaxime Dénès
2017-06-30Fix more potential quoting issues: COQBIN , COQLIBJason Gross
2017-06-30Also quote $(COQLIB)/grammarJason Gross
2017-06-30Create a variable for CAMLDOC in CoqMakefile.inJason Gross
2017-06-30Quote $(OCAMLFIND) in CoqMakefile.in for WindowsJason Gross
2017-06-30Better support for make TIMED=1 on WindowsJason Gross
2017-06-15Move TIMER to right in front of COQCJason Gross
2017-06-15Fix `make TIMED=1` garbageJason Gross
2017-06-15Strip trailing whitespaceJason Gross
2017-06-12Merge PR#709: Bytecode compilation apart from 'make world', againMaxime Dénès
2017-06-07Merge PR#698: Trunk miscMaxime Dénès
2017-06-01Fix coq_makefile uninstall target under OSX.Maxime Dénès
2017-05-31removing duplicate line from "tools/CoqMakefile.in"Matej Košík
2017-05-30coq_makefile : do not build bytecode versions of plugins by defaultPierre Letouzey
2017-05-27coq_makefile: build .cma for each .mlpackEnrico Tassi
2017-05-24coq_makefile: use -include rather than includeEnrico Tassi
2017-05-23add the only targetEnrico Tassi
2017-05-23coq_makefile: avoid spurious ./ in generated .conf fileEnrico Tassi
2017-05-23Restore 8.5, 8.6 compatibility of STDTIME, TIMECMDJason Gross
2017-05-23Make install a single colon target for retro compatibilityEnrico Tassi
2017-05-23enters coq_makefile2Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 04:01:25 +0000