Mercury Bugs - mercury
View Issue Details
0000558mercuryBugpublic2022-04-21 17:422022-04-22 00:36
Assigned Tojuliensf 
Platformamd64OSLinuxOS Version
Product Version 
Target VersionFixed in Version 
Summary0000558: The mprof.1 manpage is currupt
DescriptionThe mprof.1 manpage contains:

.TH 1 "2022-04-21" "Mercury Programmer's Manual"
\&../scripts/mprof: 24: exec: ../profiler/mercury_profile: not found
The Mercury team.
This program and its documentation are copyright by
the University of Melbourne and the Mercury team.
They may be copied only under the terms of the
GNU General Public License \-
see the file COPYING in the Mercury distribution.
The Mercury User's Guide.
Steps To ReproduceBuild the source distribution, don't need to install, look in doc/mprof.1
Additional InformationThe script/mprof script fails to execute ../profiler/mercury_profile, it's unclear why, that executable exists.

A second problem is that the mprof script lacks the -e flag causing the error to be ignored.
TagsNo tags attached.
Attached Files

2022-04-21 18:37   
The compiler and profiler directories are missing as dependencies from the doc target in the top-level Mmakefile. (As well as any other directories containing executables that we generated manual pages for.)
2022-04-22 00:25   
Fix in commit 336215914.
(The fix is available in rotd-2022-04-21 and 22.01.2-beta-2022-04-21.)
2022-04-22 00:36   
Thanks, I backported your patch for the debian package.

Issue History
2022-04-21 17:42pboneNew Issue
2022-04-21 18:37juliensfNote Added: 0001191
2022-04-21 18:37juliensfAssigned To => juliensf
2022-04-21 18:37juliensfStatusnew => assigned
2022-04-22 00:25juliensfStatusassigned => resolved
2022-04-22 00:25juliensfResolutionopen => fixed
2022-04-22 00:25juliensfNote Added: 0001192
2022-04-22 00:36pboneNote Added: 0001193