coq-club AT inria.fr
Subject: The Coq mailing list
List archive
Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout)
chronological Thread
- From: Keiko Nakata <keiko AT kurims.kyoto-u.ac.jp>
- To: coq-club AT pauillac.inria.fr
- Subject: Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout)
- Date: Wed, 18 Jun 2008 22:36:12 +0900 (JST)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hello,
Is there a tool or extension which packs several Coq object files into a
single file
containing the object files as sub-modules, a la Ocaml's -pack option?
> I am looking for some information or a tutorial on how (qualified)
> Coq library names are mapped to locations in a file system,
> and how this should be used to structure larger Coq projects.
I have been having the same and related problems.
I had several files with the same name and used the file system's hierarchy
to organize the name space. Then my life became complicated;
I miss at least the -pack option as supported in Ocaml.
(the -pack option combines specified object files, packing them in a single
file
containing the object files as sub-modules:
http://caml.inria.fr/pub/docs/manual-ocaml/manual022.html)
I ended up in giving distinct names to distinct files;
my life has become easier, but I am not very happy.
With best regards,
Keiko
- [Coq-Club] hierarchical library names and directory layout, Johannes Waldmann
- Re: [Coq-Club] hierarchical library names and directory layout,
frederic . blanqui
- Re: [Coq-Club] hierarchical library names and directory layout, Johannes Waldmann
- Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout), Keiko Nakata
- Re: Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout),
frederic . blanqui
- [Coq-Club] Re: Is there -pack option?, Keiko Nakata
- Re: Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout),
frederic . blanqui
- Re: [Coq-Club] hierarchical library names and directory layout,
frederic . blanqui
Archive powered by MhonArc 2.6.16.