(executable
 (name jmap)
 (public_name jmap)
 (package jmap-eio)
 (modules jmap)
 (libraries jmap-eio eio_main))
