mirror of
https://codeberg.org/ProgramSnail/pass_strategy_synthesis.git
synced 2025-12-16 08:58:42 +00:00
14 lines
235 B
Text
14 lines
235 B
Text
|
(env
|
||
|
|
(_
|
||
|
|
(flags
|
||
|
|
(:standard -warn-error +5))))
|
||
|
|
|
||
|
|
(executable
|
||
|
|
(public_name main)
|
||
|
|
(modules main)
|
||
|
|
(flags
|
||
|
|
(:standard -rectypes))
|
||
|
|
(libraries lib1)
|
||
|
|
(preprocess
|
||
|
|
(pps OCanren-ppx.ppx_repr OCanren-ppx.ppx_fresh GT.ppx GT.ppx_all)))
|