Hello: I've made a port of camlp5, a build dependency of math/coq, which I'm in the process of updating. Other than building coq, I haven't done any testing of this port (I don't know OCaml), so please test.
http://www.nimahoda.info/pub/camlp5.tar.gz This is my first port so please do provide comments and feedback. Note: I'm not a ports@ subscriber. Please CC me in your replies. HOMEPAGE= http://cristal.inria.fr/~ddr/camlp5/ pkg/DESC: /~~~~~~~~ Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools. As a preprocessor, it allows to: * extend the syntax of OCaml, * redefine the whole syntax of the language. As a pretty printer, it allows to: * display OCaml programs in an elegant way, * convert from one syntax to another, * check the results of syntax extensions. Camlp5 also provides some parsing and pretty printing tools: * extensible grammars * extensible printers * stream parsers and lexers * pretty print module It works as a shell command and can also be used in the OCaml toplevel. The following flavors are available: - trans (default): "transitional" mode: syntax tree is compatible with the old syntax tree but the new syntax tree quotations kit in user syntax q_ast.cmo is not available. - strict: "strict" mode: the new syntax tree quotations kit in user syntax q_ast.cmo is available but the syntax tree is not compatible with the previous versions. ~~~/ Sincerely, Nima Hoda
