0000378: Cannot access library source files when debugging

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000378

mercury

Bug

public

2015-02-18 01:52

2015-02-19 01:42

Reporter

mvd23jsdf4

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

new

Resolution

open

Platform

x86_64

Fedora

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000378: Cannot access library source files when debugging

Description

When 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),
       (if
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),
       (if
> Result = ok(String),
           string.to_int(string.strip(String), N)
        then
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
mdb>

Date Modified	Username	Field
Issue History
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

Relationships