tags 441921 + moreinfo thanks On Tue, Sep 11, 2007 at 04:46:29PM -0400, Mike Furr wrote: > Although the world.opt target in the upstream camlp5 distribution builds > native code versions of the library, the install target does not seem to > actually install them. It would be great if it could be patched so that > all of the native code (.cmx*) files are installed too as was shippped > in past version of our ocaml package. Otags, for instance, greatly > benefits from the native versions.
Hi Mike, can you please tell me which .cmx* files you're missing. In the camlp5 version I'm going to upload in a bit I see the following: [EMAIL PROTECTED]:/usr/lib/ocaml/3.10.0/camlp5$ dpkg -L camlp5 | grep cmx /usr/lib/ocaml/3.10.0/camlp5/extfold.cmx /usr/lib/ocaml/3.10.0/camlp5/diff.cmx /usr/lib/ocaml/3.10.0/camlp5/pretty.cmx /usr/lib/ocaml/3.10.0/camlp5/ploc.cmx /usr/lib/ocaml/3.10.0/camlp5/stdpp.cmx /usr/lib/ocaml/3.10.0/camlp5/gramlib.cmxa /usr/lib/ocaml/3.10.0/camlp5/eprinter.cmx /usr/lib/ocaml/3.10.0/camlp5/fstream.cmx /usr/lib/ocaml/3.10.0/camlp5/plexing.cmx /usr/lib/ocaml/3.10.0/camlp5/token.cmx /usr/lib/ocaml/3.10.0/camlp5/extfun.cmx /usr/lib/ocaml/3.10.0/camlp5/gramext.cmx /usr/lib/ocaml/3.10.0/camlp5/plexer.cmx /usr/lib/ocaml/3.10.0/camlp5/grammar.cmx Same goes for the camlp5 version against which you reported this bug (4.08-1). Moreover, also checking which *.cmx* files have been built by the world.opt target of camlp5 at the end of the build process I see: ./main/exparser.cmx ./main/ast2pt.cmx ./main/reloc.cmx ./main/camlp5.cmxa ./main/prtools.cmx ./main/main.cmx ./main/pcaml.cmx ./main/argl.cmx ./main/quotation.cmx ./lib/extfold.cmx ./lib/diff.cmx ./lib/pretty.cmx ./lib/ploc.cmx ./lib/stdpp.cmx ./lib/gramlib.cmxa ./lib/eprinter.cmx ./lib/fstream.cmx ./lib/plexing.cmx ./lib/token.cmx ./lib/extfun.cmx ./lib/gramext.cmx ./lib/plexer.cmx ./lib/grammar.cmx ./odyl/odyl.cmxa ./odyl/odyl.cmx ./odyl/odyl_main.cmx ./odyl/odyl_config.cmx ./meta/pa_rp.cmx ./meta/pa_r.cmx ./meta/pr_dump.cmx ./compile/pa_o_fast.cmx ./ocaml_stuff/3.10.0/utils/pconfig.cmx Excluding from that list the ./lib/ stuff, which is installed in the package, all the remaining files are not installed by camlp5 "install" target, I would say on purpose ... Can you please tell me which extra .cmx* files you need and why so? Many thanks in advance, Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
signature.asc
Description: Digital signature
