(executable
 (public_name grev)
 (name main)
 (modes exe)
 (libraries common middle_end syntax driver menhirLib cmdliner))

(executable
 (public_name dynamizer)
 (name dynamizer_main)
 (libraries common syntax parsing menhirLib dynamizer cmdliner))

(copy_files
 (files ../lib/stdlib_*.c))
