Skip to Content.
Sympa Menu

coq-club - Is there -pack option? (was [Coq-Club] hierarchical library names and directory layout)

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





Archive powered by MhonArc 2.6.16.

Top of Page