Document: --cookie library-name="..."

This commit is contained in:
Jeremie Dimino 2017-04-17 13:56:44 +01:00
parent de0f65b4f4
commit 03f1f42e57
2 changed files with 4 additions and 1 deletions

View File

@ -6,6 +6,8 @@
- Remove hard-coded knowledge of a few specific ppx rewriters to ease
maintenance moving forward
- Pass the library name to ppx rewriters via the =library-name= cookie
- Fix: make sure the action working directory exist before running it
* 1.0+beta7 (12/04/2017)

View File

@ -1303,7 +1303,8 @@ Jbuilder will invoke the executable resulting from linking the
libraries given in the =(pps ...)= form as follows:
#+begin_src sh
ppx.exe <flags-written-by-user> --dump-ast -o <output-file> [--impl|--intf] <source-file>
ppx.exe <flags-written-by-user> --dump-ast -o <output-file> \
[--cookie library-name="<name>"] [--impl|--intf] <source-file>
#+end_src
Where =<source-file>= is either an implementation (=.ml=) or interface