From: Sven <luther@dpt-info.u-strasbg.fr>
To: caml-list@inria.fr
Subject: [Caml-list] ocaml magic file ...
Date: Wed, 9 Jan 2002 17:20:37 +0100 [thread overview]
Message-ID: <20020109172037.A16133@dpt-info.u-strasbg.fr> (raw)
Hello, ...
I have this small magic file (to put in /etc/magic) for file to recognize the
various .cm* file types.
here it is :
-------- cut here --------------
# Magic local data for file(1) command.
# Insert here your local magic data. Format is described in magic(5).
0 string Caml1999 Objective Caml
>8 string X exec file
>8 string I interface file\ (*.cmi)
>8 string O object file\ (*.cmo)
>8 string A library file\ (*.cma)
>8 string Y native object file\ (*.cmx)
>8 string Z native library file\ (*.cmxa)
>8 string M 'ast_impl' file
>8 string N 'ast_intf' file
>9 string >\0 (Version %3.3s).
-------- cut here --------------
It gives this kind of output for the various ocaml kind of files i know of.
digest.cmi: Objective Caml interface file\ (*.cmi) (Version 008).
profiling.cmo: Objective Caml object file\ (*.cmo) (Version 004).
dynlink.cma: Objective Caml library file\ (*.cma) (Version 006).
random.cmx: Objective Caml native object file\ (*.cmx) (Version 006).
bigarray.cmxa: Objective Caml native library file\ (*.cmxa) (Version 008).
I don't really know what the ast_impl, the ast_intf and the exec
file type are all about, so these may not be the best strings around.
I plan to sent this to the maintainer of the debian package including the file
utility, and would like other people to review it, just to see if i did a very
big mistake somewhere.
Also, feel free to move it to your /etc/magic, or to use it for any other kind
of use.
Friendly,
Sven Luther
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next reply other threads:[~2002-01-11 9:26 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-01-09 16:20 Sven [this message]
2002-01-11 9:55 ` Daniel de Rauglaudre
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20020109172037.A16133@dpt-info.u-strasbg.fr \
--to=luther@dpt-info.u-strasbg.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox