2019-04-21 04:32 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000378mercuryBugpublic2015-02-19 01:42
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
Platformx86_64OSFedoraOS Version21
Product Version 
Target VersionFixed in Version 
Summary0000378: Cannot access library source files when debugging
DescriptionWhen debugging an application and the code enters a library file, you are unable to view that source. see attached source file.
Steps To Reproduce./configure --prefix=$HOME/.local --disable-most-grades --enable-additional-libgrades=reg.gc.debug,reg.gc.decldebug
make PARALLEL=-j2
make PARALLEL=-j2 install
mmc --make --debug fib2
mdb ./fib2

[mercuryuser@localhost fib2]$ mdb ./fib2
Melbourne Mercury Debugger, mdb version 14.01.1.
Copyright 1998-2014 The University of Melbourne.
mdb is free software, covered by the GNU General Public License.
There is absolutely no warranty for mdb.
       1: 1 1 CALL pred fib2.main/2-0 (det) fib2.m:16
/home/mercuryuser/.local/lib/mercury/mdb/mdb_doc: No such file or directory.
mdb> list
            else fib(N - 1) + fib(N - 2)).
> main(!IO) :-
       io.read_line_as_string(Result, !IO),
mdb> next

       4: 1 1 COND pred fib2.main/2-0 (det) c2;?; fib2.m:19
mdb> list
       io.read_line_as_string(Result, !IO),
> Result = ok(String),
           string.to_int(string.strip(String), N)
mdb> step
       5: 3 2 CALL func string.strip/1-0 (det) string.m:6331 (fib2.m:20)
mdb> list
mdb: cannot find file string.m
TagsNo tags attached.
Attached Files
  • ? file icon fib2.m (546 bytes) 2015-02-18 01:52




juliensf (administrator)

You need to point the debugger to wherever the library source files are using the 'list_path' command.

-Issue History
Date Modified Username Field Change
2015-02-18 01:52 mvd23jsdf4 New Issue
2015-02-18 01:52 mvd23jsdf4 File Added: fib2.m
2015-02-19 01:42 juliensf Note Added: 0000814
+Issue History