Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000479mercuryBugpublic2019-07-07 06:312019-07-07 11:51
Reporteruser411 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformLinuxOSDebianOS Version9
Product Version 
Target VersionFixed in Version 
Summary0000479: warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE when compiling mercury code
Descriptionmmc --make hello2
Making Mercury/int3s/hello2.int3
Making Mercury/ints/hello2.int
Making Mercury/cs/hello2.c
Making Mercury/os/hello2.o
Making hello2
In file included from /usr/include/stdlib.h:24:0,
                 from /usr/lib/mercury/inc/mercury_std.h:23,
                 from /usr/lib/mercury/inc/mercury_goto.h:13,
                 from /usr/lib/mercury/inc/mercury_init.h:84,
                 from Mercury/cs/hello2_init.c:16:
/usr/include/features.h:148:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
 # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE"
   ^~~~~~~
In file included from /usr/include/stdlib.h:24:0,
                 from /usr/lib/mercury/inc/mercury_std.h:23,
                 from /usr/lib/mercury/inc/mercury_goto.h:13,
                 from /usr/lib/mercury/inc/mercury_init.h:84,
                 from Mercury/cs/hello2_init.c:16:
/usr/include/features.h:148:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
 # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE"
... error log truncated, see `hello2.err' for the complete log.
Steps To ReproduceAny mercury code gives me the same error.
TagsNo tags attached.
Relationships
Attached Files

Notes
(0001039)
user411   
2019-07-07 07:03   
It seems that compiling mercury code with :

--cflags -D_DEFAULT_SOURCE

do not show the warning messages anymore.
(0001040)
wangp   
2019-07-07 11:51   
This was fixed in commit b70619d2f. Please use an ROTD or use your workaround.

Issue History
Date ModifiedUsernameFieldChange
2019-07-07 06:31user411New Issue
2019-07-07 07:03user411Note Added: 0001039
2019-07-07 11:51wangpStatusnew => resolved
2019-07-07 11:51wangpResolutionopen => fixed
2019-07-07 11:51wangpNote Added: 0001040