0000428: standalone_c complains about return value 0 (OK) from main/2.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000428

mercury

Bug

public

2016-10-25 06:14

Reporter

lpimmes

Assigned To

Priority

urgent

Severity

major

Reproducibility

always

Status

new

Resolution

open

Platform

Dell Precision laptop

Ubuntu

OS Version

16.04

Product Version

Target Version

Fixed in Version

Summary

0000428: standalone_c complains about return value 0 (OK) from main/2.

Description

Modified mercury_lib.m to output "STANDALONE" on console.

Any help would be appreciated.
Thanks.

Steps To Reproduce

luke@luke-Precision-7710:~/mercury/standalone_c$ ls
c_main.c Makefile mercury_lib.m

*.c and Makefile are original files from installation.

> make
mmc --make libmercury_lib
Making Mercury/int3s/mercury_lib.int3
Making Mercury/ints/mercury_lib.int
Making Mercury/cs/mercury_lib.c
Making Mercury/os/mercury_lib.o
Mercury/cs/mercury_lib.c:247:1: warning: return type of ‘main’ is not ‘int’ [-Wmain]
main(void)
^
Making libmercury_lib.a
Making Mercury/os/mercury_lib.pic_o
Mercury/cs/mercury_lib.c:247:1: warning: return type of ‘main’ is not ‘int’ [-Wmain]
main(void)
^
Making libmercury_lib.so
** Error making `libmercury_lib.so'.
/usr/bin/ld: cannot find -lmer_std
/usr/bin/ld: cannot find -lmer_rt
collect2: error: ld returned 1 exit status
Makefile:123: recipe for target 'mercury_lib.init' failed
make: *** [mercury_lib.init] Error 1
luke@luke-Precision-7710:~/mercury/standalone_c$

Additional Information

mmc: 14.01

Date Modified	Username	Field
Issue History
2016-10-25 06:14	lpimmes	New Issue
2016-10-25 06:14	lpimmes	File Added: standalone_c.tar.gz

Relationships

Notes
There are no notes attached to this issue.