Re: .cmx inclusion in modules
Le Wednesday 26 March 2008 08:55:45 Stefano Zacchiroli, vous avez écrit :
> > We could even think about mass bug submission about this don't you think
> > ?
>
> Good practice in this case is to have data first
First step:
A quick and dirty script looked for package which ships a .cmxa file without
corresponding .cmx.
Now, the question is: is it relevant for all of them ?
Here's the list ($PACKAGE: $MISSING_CMX):
coq: usr/lib/coq/contrib.cmx
coq: usr/lib/coq/highparsing.cmx
coq: usr/lib/coq/hightactics.cmx
coq: usr/lib/coq/interp.cmx
coq: usr/lib/coq/kernel.cmx
coq: usr/lib/coq/lib.cmx
coq: usr/lib/coq/library.cmx
coq: usr/lib/coq/parsing.cmx
coq: usr/lib/coq/pretyping.cmx
coq: usr/lib/coq/proofs.cmx
coq: usr/lib/coq/tactics.cmx
coq: usr/lib/coq/toplevel.cmx
llvm-dev: usr/lib/llvm/lib/ocaml/llvm.cmx
llvm-dev: usr/lib/llvm/lib/ocaml/llvm_analysis.cmx
llvm-dev: usr/lib/llvm/lib/ocaml/llvm_bitreader.cmx
llvm-dev: usr/lib/llvm/lib/ocaml/llvm_bitwriter.cmx
llvm-dev: usr/lib/llvm/lib/ocaml/llvm_executionengine.cmx
libagrep-ocaml-dev: usr/lib/ocaml/3.10.1/agrep/agrep.cmx
libalsa-ocaml-dev: usr/lib/ocaml/3.10.1/alsa/alsa.cmx
libao-ocaml-dev: usr/lib/ocaml/3.10.1/ao/ao.cmx
libbenchmark-ocaml-dev: usr/lib/ocaml/3.10.1/benchmark/benchmark.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/bigarray.cmx
libcairo-ocaml-dev: usr/lib/ocaml/3.10.1/cairo/cairo.cmx
libcairo-ocaml-dev: usr/lib/ocaml/3.10.1/cairo/cairo_lablgtk.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/chamo.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/configwin.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/dbforge_gui.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/odiff.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/odiff_gui.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/odot.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/report.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/report_gui.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/rss.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/rss_gui.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/sqml.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/tdl.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/tdl_gui.cmx
libcameleon-ocaml-dev: usr/lib/ocaml/3.10.1/cameleon/tmpl-engine.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_bmp.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_core.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_freetype.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_gif.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_graphics.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_jpeg.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_lablgtk2.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_png.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_ppm.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_ps.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_tiff.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_xpm.cmx
libcamlimages-ocaml-dev: usr/lib/ocaml/3.10.1/camlimages/ci_xvthumb.cmx
camlp4: usr/lib/ocaml/3.10.1/camlp4/camlp4fulllib.cmx
camlp4: usr/lib/ocaml/3.10.1/camlp4/camlp4lib.cmx
camlp5: usr/lib/ocaml/3.10.1/camlp5/camlp5.cmx
camlp5: usr/lib/ocaml/3.10.1/camlp5/gramlib.cmx
camlp5: usr/lib/ocaml/3.10.1/camlp5/odyl.cmx
libcamomile-ocaml-dev: usr/lib/ocaml/3.10.1/camomile/camomile.cmx
cduce: usr/lib/ocaml/3.10.1/cduce/cduce_lib.cmx
libcf-ocaml-dev: usr/lib/ocaml/3.10.1/cf/cf.cmx
camlidl: usr/lib/ocaml/3.10.1/com.cmx
libcreal-ocaml-dev: usr/lib/ocaml/3.10.1/creal/creal.cmx
libcryptgps-ocaml-dev: usr/lib/ocaml/3.10.1/cryptgps/cryptgps.cmx
libcryptokit-ocaml-dev: usr/lib/ocaml/3.10.1/cryptokit/cryptokit.cmx
libcsv-ocaml-dev: usr/lib/ocaml/3.10.1/csv/csv.cmx
libcurl-ocaml-dev: usr/lib/ocaml/3.10.1/curl/curl.cmx
libcurses-ocaml-dev: usr/lib/ocaml/3.10.1/curses/curses.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/dbm.cmx
libdtools-ocaml-dev: usr/lib/ocaml/3.10.1/dtools/dtools.cmx
libocamlnet-gtk2-ocaml-dev: usr/lib/ocaml/3.10.1/equeue-gtk2/equeue_gtk2.cmx
libocamlnet-ssl-ocaml-dev: usr/lib/ocaml/3.10.1/equeue-ssl/equeue_ssl.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/equeue/equeue.cmx
libexpat-ocaml-dev: usr/lib/ocaml/3.10.1/expat/expat.cmx
libextlib-ocaml-dev: usr/lib/ocaml/3.10.1/extlib/extLib.cmx
libfacile-ocaml-dev: usr/lib/ocaml/3.10.1/facile/facile.cmx
libfileutils-ocaml-dev: usr/lib/ocaml/3.10.1/fileutils/fileutils.cmx
ocaml-findlib: usr/lib/ocaml/3.10.1/findlib/findlib.cmx
libgdome2-xslt-ocaml-dev: usr/lib/ocaml/3.10.1/gdome2-xslt/mlgdome2-xslt.cmx
libgdome2-ocaml-dev: usr/lib/ocaml/3.10.1/gdome2/mlgdome.cmx
libgdome2-ocaml-dev: usr/lib/ocaml/3.10.1/gdome2/mlogdome.cmx
libgetopt-ocaml-dev: usr/lib/ocaml/3.10.1/getopt/getopt.cmx
libgmp-ocaml-dev: usr/lib/ocaml/3.10.1/gmp/gmp.cmx
ocaml: usr/lib/ocaml/3.10.1/graphics.cmx
libocamlgsl-ocaml-dev: usr/lib/ocaml/3.10.1/gsl/gsl.cmx
libgraphviz-dev: usr/lib/ocaml/3.10.1/gv/gv.cmx
libhttp-ocaml-dev: usr/lib/ocaml/3.10.1/http/http.cmx
libhttp-ocaml-dev: usr/lib/ocaml/3.10.1/http/http_mt.cmx
liblablgl-ocaml-dev: usr/lib/ocaml/3.10.1/lablgl/lablgl.cmx
liblablgl-ocaml-dev: usr/lib/ocaml/3.10.1/lablgl/lablglut.cmx
liblablgl-ocaml-dev: usr/lib/ocaml/3.10.1/lablgl/togl.cmx
liblablgtk2-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablglade.cmx
liblablgtk2-gnome-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablgnomecanvas.cmx
liblablgtk2-gnome-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablgnomeui.cmx
liblablgtk2-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablgtk.cmx
liblablgtk2-gl-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablgtkgl.cmx
liblablgtksourceview-ocaml-dev:
usr/lib/ocaml/3.10.1/lablgtk2/lablgtksourceview.cmx
liblablgtk2-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablgtkspell.cmx
liblablgtk2-gnome-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablpanel.cmx
liblablgtk2-gnome-ocaml-dev: usr/lib/ocaml/3.10.1/lablgtk2/lablrsvg.cmx
liblablgtkmathview-ocaml-dev:
usr/lib/ocaml/3.10.1/lablgtkmathview/lablgtkmathview.cmx
ocaml: usr/lib/ocaml/3.10.1/labltk/frxlib.cmx
ocaml: usr/lib/ocaml/3.10.1/labltk/jpflib.cmx
ocaml: usr/lib/ocaml/3.10.1/labltk/labltk.cmx
ocaml: usr/lib/ocaml/3.10.1/labltk/tkanim.cmx
libladspa-ocaml-dev: usr/lib/ocaml/3.10.1/ladspa/ladspa.cmx
liblastfm-ocaml-dev: usr/lib/ocaml/3.10.1/lastfm/lastfm.cmx
liblwt-ocaml-dev: usr/lib/ocaml/3.10.1/lwt/lwt.cmx
libmad-ocaml-dev: usr/lib/ocaml/3.10.1/mad/mad.cmx
libmagic-ocaml-dev: usr/lib/ocaml/3.10.1/magic/magic.cmx
libmysql-ocaml-dev: usr/lib/ocaml/3.10.1/mysql/mysql.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netcgi1/cgi.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netcgi2-plex/netcgi2-plex.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netcgi2/netcgi.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netcgi_apache/netcgi_apache.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netclient/netclient.cmx
libnethttpd-ocaml-dev:
usr/lib/ocaml/3.10.1/nethttpd-for-netcgi1/nethttpd-for-netcgi1.cmx
libnethttpd-ocaml-dev:
usr/lib/ocaml/3.10.1/nethttpd-for-netcgi2/nethttpd-for-netcgi2.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netplex/netplex.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netshm/netshm.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netstring/netstring.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/netsys/netsys.cmx
libnumerix-ocaml-dev: usr/lib/ocaml/3.10.1/numerix/numerix.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/nums.cmx
libounit-ocaml-dev: usr/lib/ocaml/3.10.1/oUnit/oUnit.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/ocamlbuild/ocamlbuildlib.cmx
libldap-ocaml-dev: usr/lib/ocaml/3.10.1/ocamldap/ocamldap.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/ocamldoc/odoc_info.cmx
libocamlgraph-ocaml-dev: usr/lib/ocaml/3.10.1/ocamlgraph/graph.cmx
libocamlodbc-ocaml-dev: usr/lib/ocaml/3.10.1/ocamlodbc/ocamlodbc.cmx
libogg-ocaml-dev: usr/lib/ocaml/3.10.1/ogg/ogg.cmx
libmlpcap-ocaml-dev: usr/lib/ocaml/3.10.1/pcap/pcap.cmx
libpcre-ocaml-dev: usr/lib/ocaml/3.10.1/pcre/pcre.cmx
libperl4caml-ocaml-dev: usr/lib/ocaml/3.10.1/perl/perl4caml.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/pop/pop.cmx
libportaudio-ocaml-dev: usr/lib/ocaml/3.10.1/portaudio/portaudio.cmx
libpostgresql-ocaml-dev: usr/lib/ocaml/3.10.1/postgresql/postgresql.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-engine/pxp_engine.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88591/pxp_lex_iso88591.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso885910/pxp_lex_iso885910.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso885913/pxp_lex_iso885913.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso885914/pxp_lex_iso885914.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso885915/pxp_lex_iso885915.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso885916/pxp_lex_iso885916.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88592/pxp_lex_iso88592.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88593/pxp_lex_iso88593.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88594/pxp_lex_iso88594.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88595/pxp_lex_iso88595.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88596/pxp_lex_iso88596.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88597/pxp_lex_iso88597.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88598/pxp_lex_iso88598.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-iso88599/pxp_lex_iso88599.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-lex-utf8/pxp_lex_utf8.cmx
libpxp-ocaml-dev: usr/lib/ocaml/3.10.1/pxp-ulex-utf8/pxp_ulex_utf8.cmx
pycaml: usr/lib/ocaml/3.10.1/pycaml.cmx
libreins-ocaml-dev: usr/lib/ocaml/3.10.1/reins/reins.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/rpc-auth-dh/rpc_auth_dh.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/rpc-auth-local/rpc_auth_local.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/rpc-generator/rpc_generator.cmx
libocamlnet-ssl-ocaml-dev: usr/lib/ocaml/3.10.1/rpc-ssl/rpc_ssl.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/rpc/rpc.cmx
libsdl-ocaml-dev: usr/lib/ocaml/3.10.1/sdl/sdl.cmx
libsdl-ocaml-dev: usr/lib/ocaml/3.10.1/sdl/sdlloader.cmx
libsdl-ocaml-dev: usr/lib/ocaml/3.10.1/sdl/sdlmixer.cmx
libsdl-ocaml-dev: usr/lib/ocaml/3.10.1/sdl/sdlttf.cmx
libsha-ocaml-dev: usr/lib/ocaml/3.10.1/sha/sha.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/shell/shell.cmx
libshout-ocaml-dev: usr/lib/ocaml/3.10.1/shout/shout.cmx
libocamlnet-ocaml-dev: usr/lib/ocaml/3.10.1/smtp/smtp.cmx
libsoundtouch-ocaml-dev: usr/lib/ocaml/3.10.1/soundtouch/soundtouch.cmx
libsqlite3-ocaml-dev: usr/lib/ocaml/3.10.1/sqlite3/sqlite3.cmx
libssl-ocaml-dev: usr/lib/ocaml/3.10.1/ssl/ssl.cmx
libssl-ocaml-dev: usr/lib/ocaml/3.10.1/ssl/ssl_threads.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/stdlib.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/stdlib.p.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/str.cmx
libsyslog-ocaml-dev: usr/lib/ocaml/3.10.1/syslog/syslog.cmx
libtaglib-ocaml-dev: usr/lib/ocaml/3.10.1/taglib/taglib.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/threads/threads.cmx
ocaml-ulex: usr/lib/ocaml/3.10.1/ulex/ulexing.cmx
ocaml-ulex08: usr/lib/ocaml/3.10.1/ulex08/ulexing.cmx
ocaml-nox: usr/lib/ocaml/3.10.1/unix.cmx
libvorbis-ocaml-dev: usr/lib/ocaml/3.10.1/vorbis/vorbis.cmx
libxml-light-ocaml-dev: usr/lib/ocaml/3.10.1/xml-light/xml-light.cmx
libxmlplaylist-ocaml-dev: usr/lib/ocaml/3.10.1/xmlplaylist/xmlplaylist.cmx
libxmlrpc-light-ocaml-dev: usr/lib/ocaml/3.10.1/xmlrpc-light/xmlrpc-light.cmx
libxstr-ocaml-dev: usr/lib/ocaml/3.10.1/xstr/xstr.cmx
libyaml-syck-ocaml-dev: usr/lib/ocaml/3.10.1/yaml/yaml.cmx
libzip-ocaml-dev: usr/lib/ocaml/3.10.1/zip/zip.cmx
Romain
--
Seven miles of Black Star Liners coming in the harbour.
Yeah, seven miles of Black Star Liners coming in the harbour.
It's repatriation,
A Black liberation.
Yes, the time has come:
Black Man, we're going home!
Reply to: