OCaml Forge
Feature Requests
Search the entire project
This project's trackers
This project's releases
This project's documents
This project's news
Project
People
Advanced search
Log In
New Account
Home
My Page
Projects
Code Snippets
OASIS
Summary
Activity
Tracker
Lists
Docs
News
Files
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_id
Open
2014-02-25 00:46
gildor-admin
close_date
None
2014-02-25 00:46
gildor-admin
assigned_to
none
2013-09-05 11:44
gildor-admin
File Added
231: _oasis
2013-09-05 10:53
hnrgrgr
File Added
232: defs.mli
2013-09-05 10:53
hnrgrgr
File Added
233: blip.ml
2013-09-05 10:53
hnrgrgr