2024-12-03 01:12 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000439mercuryBugpublic2017-08-06 13:09
Reporterwangp 
Assigned To 
PrioritylowSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000439: cannot build module which imports empty nested sub-module
DescriptionBoth mmc --make and mmake are unable to build a module which tries to import an empty nested sub-module. Obviously this is extremely low priority, and the fix may be to disallow such sub-modules.


% mmc -m empty_submodule
Making Mercury/int3s/empty_submodule.int3
empty_submodule.m:014: Warning: submodule `empty_submodule.nested' of module
empty_submodule.m:014: `empty_submodule' is empty.
** Error reading file `empty_submodule.nested.m' to generate dependencies.
** Module `empty_submodule.nested' is imported or included by module `empty_submodule'.
mercury_compile: cannot find source for module `empty_submodule.nested' in
  directories `.'


% mmake empty_submodule.depend && mmake empty_submodule
gmake: *** No rule to make target 'empty_submodule.nested.int', needed by 'empty_submodule.c_date'. Stop.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2017-08-06 13:09 wangp New Issue
2017-08-06 13:09 wangp File Added: empty_submodule.m
+Issue History