Jeremie Dimino
|
a0ce6a68aa
|
Install all manual pages
|
2017-02-24 17:36:39 +00:00 |
|
Jeremie Dimino
|
24ac055511
|
Avoid loading findlib packages more than once
|
2017-02-24 16:29:08 +00:00 |
|
Jeremie Dimino
|
dd77e045e6
|
Set the default command to printing some help
|
2017-02-24 15:47:09 +00:00 |
|
Jeremie Dimino
|
437a4fa5d7
|
added install/uninstall commands
|
2017-02-24 15:41:52 +00:00 |
|
Jeremie Dimino
|
4bdac39dd4
|
fix use of labels
|
2017-02-24 13:08:37 +00:00 |
|
Jeremie Dimino
|
e148f75ee4
|
add an install alias
|
2017-02-24 12:54:51 +00:00 |
|
Jeremie Dimino
|
bdcc86d7a8
|
add support for building aliases
|
2017-02-24 12:31:01 +00:00 |
|
Jeremie Dimino
|
9c6e367089
|
Add a development mode and cleanup the code
|
2017-02-24 12:19:02 +00:00 |
|
Jeremie Dimino
|
a3cd58de5d
|
A bit more colors
|
2017-02-24 11:38:50 +00:00 |
|
Jeremie Dimino
|
03f788a0fa
|
a bit more colors
|
2017-02-24 11:16:55 +00:00 |
|
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 |