2016-08-05 13:22:37 +01:00
|
|
|
(library
|
|
|
|
|
((name ppx_let)
|
|
|
|
|
(public_name ppx_let)
|
2016-12-15 11:20:46 +00:00
|
|
|
(kind ppx_rewriter)
|
2017-11-02 09:29:38 +00:00
|
|
|
(flags (:standard -safe-string))
|
2017-01-24 16:02:53 +00:00
|
|
|
(libraries (ppx_core ppx_driver))
|
2016-12-15 11:20:46 +00:00
|
|
|
(preprocess no_preprocessing)))
|
2017-02-27 15:54:03 +00:00
|
|
|
|
2017-03-07 13:49:37 +00:00
|
|
|
(jbuild_version 1)
|
