Hi, On Mon, 20 Aug 2012 12:49:10 +0100 (BST) Charles D <coqlet...@yahoo.com> wrote:
> a) where to get it; just use http://pauillac.inria.fr/~ddr/camlp5/distrib/src/camlp5-6.05.tgz If you install it manually, you don't need the godi build instructions (godi-camlp5-6.05.tgz). > b) if this might actually work? If not, would the "standard" Camlp5 > 6.05 file work with my current GODI Ocaml? I don't know. Perhaps camlp5-6.05 doesn't work with ocaml4.0, so you have to use ocaml 3.12. If you use other godi packages, that need camlp5, you could do the following: 1) copy the archive to /opt/godi/build/distfiles 2) change VERSION in /opt/godi/build/godi/godi-camlp5/Makefile and update the checksum and size at /opt/godi/build/godi/godi-camlp5/distinfo. However, this won't work, if either the godi maintainer or the camlp5 author changed something important with the last update. Install it manually if possible. _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
