2024-11-23 21:33 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000479mercuryBugpublic2019-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.
Attached Files

-Relationships
+Relationships

-Notes

~0001039

user411

It seems that compiling mercury code with :

--cflags -D_DEFAULT_SOURCE

do not show the warning messages anymore.

~0001040

wangp (developer)

This was fixed in commit b70619d2f. Please use an ROTD or use your workaround.
+Notes

-Issue History
Date Modified Username Field Change
2019-07-07 06:31 user411 New Issue
2019-07-07 07:03 user411 Note Added: 0001039
2019-07-07 11:51 wangp Status new => resolved
2019-07-07 11:51 wangp Resolution open => fixed
2019-07-07 11:51 wangp Note Added: 0001040
+Issue History