matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update the manual regarding the ppx status 

Following #14
This commit is contained in:
Jeremie Dimino 2017-03-02 10:07:24 +00:00
parent 2183a6f2d8
commit a206c5cfda
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
doc/manual.org
View File

@ -691,10 +691,9 @@ libraries as Jbuilder always build a single ppx driver in order to
speed up compilation.
Currently Jbuilder only knows how to buid [[https://github.com/janestreet/ppx_driver][ppx_driver]] based drivers, so
using =(pps (...))= will force a dependency on ppx_driver. You are
however free to use ppx rewriters that are not based on ppx_driver in
this list, since ppx_driver is able to import rewriters that where not
designed for ppx_driver.
using =(pps (...))= will force a dependency on ppx_driver. See [[https://github.com/janestreet/jbuilder/issues/14][this
ticket]] for a discussion about adding support for ppx rewriters not
based on ppx_driver.
****** Per module pre-processing specification