Mercury Bugs - mercury
View Issue Details
0000377mercuryBugpublic2015-02-18 01:462015-02-19 01:46
Assigned Tojuliensf 
Platformx86_64OSFedoraOS Version21
Product Version 
Target VersionFixed in Version 
Summary0000377: Debugger doesn't have help installed.
DescriptionAfter building and installing the debugger, mdb doesn't have any help files.
Steps To Reproduce./configure --prefix=$HOME/.local --enable-minimal-install --enable-additional-libgrades=asm_fast.gc.debug,asm_fast.gc.decldebug
make PARALLEL=-j2
make PARALLEL=-j2 install
TagsNo tags attached.
Attached Files

2015-02-19 01:46   
Do you mean that the 'help' command in mdb is not displaying anything, or something different?
Can you please check that the file $HOME/.local/lib/mercury/mdb/mdb_doc is present and non-empty.
(That file should contain the help documentation for mdb.)

Issue History
2015-02-18 01:46mvd23jsdf4New Issue
2015-02-19 01:46juliensfNote Added: 0000815
2015-02-19 01:46juliensfAssigned To => juliensf
2015-02-19 01:46juliensfStatusnew => feedback