Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000428mercuryBugpublic2016-10-25 06:142016-10-25 06:14
Reporterlpimmes 
Assigned To 
PriorityurgentSeveritymajorReproducibilityalways
StatusnewResolutionopen 
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.
Thanks.
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]
 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 Informationmmc: 14.01
TagsNo tags attached.
Relationships
Attached Filesgz standalone_c.tar.gz (30,720) 2016-10-25 06:14
https://bugs.mercurylang.org/file_download.php?file_id=266&type=bug

There are no notes attached to this issue.

Issue History
Date ModifiedUsernameFieldChange
2016-10-25 06:14lpimmesNew Issue
2016-10-25 06:14lpimmesFile Added: standalone_c.tar.gz