(executables
 (names raiser pp)
 (libraries ppxlib))

(cram
 (deps raiser.exe pp.exe))
