OCaml Forge

Detail: [#1316] .mli without .ml are not installed (neither their .cmi)

Feature Requests: Browse | Download .csv | Monitor

[#1316] .mli without .ml are not installed (neither their .cmi)

Date:
2013-09-05 10:53
Priority:
3
State:
Closed
Submitted by:
Grégoire Henry (hnrgrgr)
Assigned to:
Sylvain Le Gall (gildor-admin)
Resolution:
None
Due in version:
None
Product:
OASIS
Component:
OASIS
Operating System:
None
 
Summary:
.mli without .ml are not installed (neither their .cmi)

Detailed description
The attached module Defs only contains type declarations and only has a .mli as source file.
Hence, the .ml/.cmo files are not required.

The module 'Blip' in the library 'foobar' relies on 'Defs'. The following description allows the correct
compilation/installation of 'foobar.cma' but does not allows the installation of 'defs.cmi'.

Followup

Message
Date: 2014-02-24 23:56
Sender: Jacques-Pascal Deplaix

This one should also be closed I think.
Date: 2013-10-14 21:02
Sender: Grégoire Henry

It was previously fixed in the following commit:

https://github.com/ocaml/oasis/commit/a3743eaeb613189b649bb2f9079ffff0701a6a6f
Date: 2013-10-14 20:15
Sender: Jacques-Pascal Deplaix

It doesn't install defs.cmi because it's not listed in Modules in the _oasis (or it's something else, in which case, I didn't understand).

Attached Files:

Attachments:
blip.ml
defs.mli
_oasis

Changes:

Field Old Value Date By
status_idOpen2014-02-25 00:46gildor-admin
close_dateNone2014-02-25 00:46gildor-admin
assigned_tonone2013-09-05 11:44gildor-admin
File Added231: _oasis2013-09-05 10:53hnrgrgr
File Added232: defs.mli2013-09-05 10:53hnrgrgr
File Added233: blip.ml2013-09-05 10:53hnrgrgr