2016-08-05 16:22:37 +04:00
|
|
|
(executables
|
|
|
|
|
((names (test))
|
2017-11-16 05:38:28 +04:00
|
|
|
(flags (:standard -safe-string))
|
2017-03-06 21:40:22 +04:00
|
|
|
(preprocess (pps (ppx_let ppx_driver.runner)))))
|
2016-08-05 16:22:37 +04:00
|
|
|
|
2017-02-27 19:54:03 +04:00
|
|
|
|
2017-03-07 17:49:37 +04:00
|
|
|
(jbuild_version 1)
|
