depends zarith
depends camlp5
depends findlib
depends ocaml-num

optional_depends hevea "" "" "build documentation"

# This borks ddlinux.so from ocaml.
#optional_depends lablgtk "-coqide opt" "-coqide no" "build the GTK IDE"
