Jeremie Dimino
|
f2e1f7d2ce
|
Check that packages are correctly specified in jbuilds
|
2017-02-23 16:47:25 +00:00 |
Jeremie Dimino
|
fe929a07d7
|
Don't require packages to be defined at the root
To match the manual
|
2017-02-23 15:59:44 +00:00 |
Jeremie Dimino
|
3716f87285
|
Add a runtest command
Closes #3
|
2017-02-23 13:17:38 +00:00 |
Jeremie Dimino
|
affacb8925
|
Disable handling of exceptions by cmdliner
|
2017-02-23 12:15:57 +00:00 |
Jeremie Dimino
|
901d9acc2a
|
Don't mangle the output of commands and keep a log file
|
2017-02-23 11:45:03 +00:00 |
Jeremie Dimino
|
0281a95f2c
|
improve man pages a bit
|
2017-02-23 10:32:23 +00:00 |
Jeremie Dimino
|
2295db637c
|
Name positional arguments
|
2017-02-23 10:23:15 +00:00 |
Jeremie Dimino
|
358c9ecbc6
|
Implement targets resolution
Prepend _build/default only when a path is not a direct target. This
way "jbuilder build package.install" does produce the
"package.install" file
|
2017-02-23 10:04:32 +00:00 |
Jeremie Dimino
|
193f8d5238
|
moved cmdliner and re to vendor/
|
2017-02-21 15:09:58 +00:00 |
Jeremie Dimino
|
405971694c
|
114.20+69
|
2016-12-15 16:54:46 +00:00 |
Jeremie Dimino
|
cdcd7e907f
|
114.20+69
|
2016-12-02 13:54:32 +00:00 |