# Findlib META file for pa_do			                    -*-conf-*-
# ocamlfind flags to use: -syntax camlp4o -package pa_do
name = "pa_do"
version = "0.8.13"
description = "Delimited overloading syntax extension & infix"
requires = "camlp4"
archive(syntax,preprocessor) = "pa_do.cmo"
archive(syntax,toploop) += "pa_do_top.cma"
# If #camlp4o was not issued before (FIXME: an error would be better
# but they won't display in the toploop and the package will be considered
# loaded anyway!!):
archive(byte,toploop) = "+camlp4/camlp4o.cma pa_do.cmo pa_do_top.cma"
# FIXME: incompatible for now ("error" does not work):
error(byte,toploop,camlp4r) = "Not compatible with the revised syntax."
# FIXME: do we want to split off the macro package?
error(camlp4.macro) = "Delimited overloading provides improved macros."

package "num" (
  description = "Overloading for arbitrary-precision numbers"
  version = "0.8.13"
  requires = "pa_do, num"
  archive(syntax,preprocessor) = "nums.cma pa_do_nums.cmo"
  requires(toploop) += "num-top"
  # Predicate "camlp4o" unnecessary, pa_do will load "camlp4o" if needed
  # (but if #camlp4o was not issued, the predicate will not exist).
  archive(byte,toploop) = "pa_do_nums.cmo"
)

package "infix" (
  description = "Set priority and associativity of unary and binary operators"
  version = "0.8.13"
  requires = "camlp4"
  archive(syntax,preprocessor) = "pa_infix.cmo"
  archive(syntax,toploop) = "pa_infix.cmo"
)
