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:
zack@aquarium:/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?
zack@{cs.unibo.it,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
Attachment:
signature.asc
Description: Digital signature