mirror of
https://codeberg.org/ProgramSnail/pass_strategy_synthesis.git
synced 2025-12-14 16:08:43 +00:00
13 lines
235 B
Text
13 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)))
|