Jeremie Dimino
|
62334a1f0a
|
Imported opam-file-format
|
2017-05-08 16:56:21 +01:00 |
Jeremie Dimino
|
5f7d0b1093
|
added opam-file-format jbuild
|
2017-05-08 16:56:21 +01:00 |
Jeremie Dimino
|
bfb01f4bc3
|
Refresh re and cmdliner
|
2017-05-02 14:08:51 +01:00 |
Jeremie Dimino
|
868f75f146
|
Add a script to upgrade vendor/cmdliner
|
2017-05-02 14:08:51 +01:00 |
Jeremie Dimino
|
d69a7c577a
|
Add a script to upgrade vendor/re
|
2017-05-02 14:08:47 +01:00 |
François Bobot
|
2bf15067cb
|
Remove comment for 4.02.3
|
2017-03-27 18:31:26 +01:00 |
Jeremie Dimino
|
2628eba306
|
Don't install jbuilder as a library
The API is not stable at all, so let's not do it until the Jenga
bridge is ready
|
2017-03-02 14:53:33 +00:00 |
Jeremie Dimino
|
55405f7f25
|
Rework the readme
|
2017-02-28 17:20:41 +00:00 |
Jérémie Dimino
|
7cc152d740
|
Do not install cmdliner
It is only used by the binary, not the library.
|
2017-02-26 21:40:09 +00:00 |
Jérémie Dimino
|
27a299437d
|
4.02.3 compatiblity
|
2017-02-26 21:28:30 +00:00 |
Jérémie Dimino
|
38421d7e41
|
Replace meta language by ocaml
|
2017-02-26 19:49:54 +00:00 |
Jeremie Dimino
|
add9450a5d
|
Switch jbuilder to (jbuilder_version 1)
|
2017-02-24 10:04:40 +00:00 |
Jeremie Dimino
|
193f8d5238
|
moved cmdliner and re to vendor/
|
2017-02-21 15:09:58 +00:00 |