| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | coq_makefile: build .cma for each .mlpack |  Enrico Tassi | 2017-05-27 |
| | | | | | | | | | It used to generate only .cmo (the packed one). While this works if the plugin has no external dependencies, it does not if it does. The bug affected only bytecode builds | ||
| * | coq_makefile: use -include rather than include | Enrico Tassi | 2017-05-24 |
| | | | | | | This fixes bedrock and eliminates warnings. Thanks Jason Gross for debugging this! | ||
| * | add the only target | Enrico Tassi | 2017-05-23 |
| | | | | | | | | | This makes the following work correctly: make only TGTS="foo bar" -j2 note that make foo bar -j2 is not doing what you think | ||
| * | coq_makefile: avoid spurious ./ in generated .conf file | Enrico Tassi | 2017-05-23 |
| | | |||
| * | Restore 8.5, 8.6 compatibility of STDTIME, TIMECMD |  Jason Gross | 2017-05-23 |
| | | |||
| * | Make install a single colon target for retro compatibility | Enrico Tassi | 2017-05-23 |
| | | |||
| * | enters coq_makefile2 | Enrico Tassi | 2017-05-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |