0000558: The mprof.1 manpage is currupt

Mercury Bugs - mercury
View Issue Details

ID	Project	Category	View Status	Date Submitted	Last Update
0000558	mercury	Bug	public	2022-04-21 17:42	2022-04-22 00:36

Reporter	pbone
Assigned To	juliensf
Priority	normal	Severity	major	Reproducibility	always
Status	resolved	Resolution	fixed
Platform	amd64	OS	Linux	OS Version
Product Version
Target Version		Fixed in Version

Summary	0000558: The mprof.1 manpage is currupt
Description	The mprof.1 manpage contains: .TH 1 "2022-04-21" "Mercury Programmer's Manual" \&../scripts/mprof: 24: exec: ../profiler/mercury_profile: not found .SH AUTHORS The Mercury team. .SH COPYRIGHT 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. .SH SEE ALSO The Mercury User's Guide. .PP <http://www.mercurylang.org/information/documentation.html>
Steps To Reproduce	Build the source distribution, don't need to install, look in doc/mprof.1
Additional Information	The 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.
Tags	No tags attached.
Relationships
Attached Files

Notes