(executable
 (libraries utop)
 (modes byte)
 (link_flags -linkall)
 (public_name utopk_internal)
 (package utopk)
 (name utopk_internal))

(executable
 (libraries unix eio eio_main jsont jsont.bytesrw bytesrw utopk.run)
 (modes native)
 (public_name utopk)
 (package utopk)
 (name utopkrun))

(executable
 (libraries utopk.run topcore.module_name)
 (modes byte)
 (link_flags -linkall)
 (public_name utopk.cat)
 (package utopk)
 (name utopk))

(executable
 (preprocess (pps ppxlib.metaquot))
 (libraries utopk.main ppxlib)
 (modes byte)
 (link_flags -linkall)
 (public_name utopk.sig)
 (package utopk)
 (name utopk_sig))
