2023-12-09 23:46 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000428mercuryBugpublic2016-10-25 06:14
Assigned To 
PlatformDell Precision laptopOSUbuntuOS Version16.04
Product Version 
Target VersionFixed in Version 
Summary0000428: standalone_c complains about return value 0 (OK) from main/2.
DescriptionModified mercury_lib.m to output "STANDALONE" on console.

Any help would be appreciated.
Steps To Reproduceluke@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]
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]
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
Additional Informationmmc: 14.01
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

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