aboutsummaryrefslogtreecommitdiff
path: root/tools/CoqMakefile.in
AgeCommit message (Expand)Author
2017-09-15Merge PR #990: Prevent warning about DSTROOT being undefined.Maxime Dénès
2017-08-29coq_makefile: fix .merlin generation (FLG -thread)Enrico Tassi
2017-08-29coq_makefile: improve documentationEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29coq_makefile: do not overwrite CAMLFLAGSEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: build/use .cma for packed pluginsEnrico Tassi
2017-08-22Prevent warning about DSTROOT being undefined.Guillaume Melquiond
2017-08-16Merge PR #964: More portable location for the time command.Maxime Dénès
2017-08-12fix coq_makefileMatej Košík
2017-08-12More portable location for the time command.Théo Zimmermann
2017-07-27[make] remove compat5 file.Emilio Jesus Gallego Arias
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-11Add timing scriptsJason Gross
2017-07-08Fix TIMED=1 on Mac OSXJason Gross
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-03-01 02:47:32 +0000