<div dir="ltr">Sorry for the noise. That was a false alarm -- I do get those warnings, but the code compiles and runs anyway.</div><br><div class="gmail_quote"><div dir="ltr">On Sun, Dec 16, 2018 at 3:11 PM Jeffrey Brown <<a href="mailto:jeffbrown.the@gmail.com">jeffbrown.the@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I just installed from the repo onto Ubuntu 18.04, replacing DISTRO with stretch per your instructions, and everything I try to compile fails with an error file like the one below. Suggestions?<div><br></div><div><span style="font-family:monospace"><span style="font-weight:bold;color:rgb(84,84,255)">ern</span><span style="color:rgb(0,0,0)">$ cat fi</span><br>b_pattern_match.err  <br>In file included from /usr/include/x86_64-linux-gnu/bits/libc-header-s<br>tart.h:33:0,
<br>                 from /usr/include/stdlib.h:25,
<br>                 from /usr/lib/mercury/inc/mercury_std.h:23,
<br>                 from /usr/lib/mercury/inc/mercury_goto.h:13,
<br>                 from /usr/lib/mercury/inc/mercury_init.h:84,
<br>                 from Mercury/cs/fib_pattern_match_init.c:16:
<br>/usr/include/features.h:184:3: warning: #warning "_BSD_SOURCE and _SVI<br>D_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
<br> # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_<br>SOURCE"
<br>   ^~~~~~~
<br>In file included from /usr/include/x86_64-linux-gnu/bits/libc-header-s<br>tart.h:33:0,
<br>                 from /usr/include/stdlib.h:25,
<br>                 from /usr/lib/mercury/inc/mercury_std.h:23,
<br>                 from /usr/lib/mercury/inc/mercury_goto.h:13,
<br>                 from /usr/lib/mercury/inc/mercury_init.h:84,
<br>                 from Mercury/cs/fib_pattern_match_init.c:16:
<br>/usr/include/features.h:184:3: warning: #warning "_BSD_SOURCE and _SVI<br>D_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
<br> # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_<br>SOURCE"
<br>   ^~~~~~~<br>
<br></span></div></div><br><div class="gmail_quote"><div dir="ltr">On Sun, Nov 18, 2018 at 12:54 AM Paul Bone <<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Fri, Nov 16, 2018 at 08:22:43PM +1100, Paul Bone wrote:<br>
> <br>
> I've made some new Debian packages.<br>
> <br>
> It's basically the same source package as before which worked on the old<br>
> version of Debian.<br>
> <br>
> But now it's the same Mercury 14.01.1 but packaged for Debian stretch (and<br>
> should also work on Ubuntu 18.04).  It uses the reg.gc grade since the C<br>
> compiler on these distros is too new.<br>
<br>
I've just added Mercury ROTD 2018-11-14.  The packages begin with<br>
mercury-rotd rather than mercury so that you won't be automatically upgraded<br>
off of the stable versions.  Debian will refuse to install both at the same<br>
time (by design).  amd64 only for now, i386 is failing to build.<br>
<br>
<a href="http://dl1.mercurylang.org/deb/" rel="noreferrer" target="_blank">http://dl1.mercurylang.org/deb/</a><br>
<br>
Good luck.<br>
<br>
Does anyone care about older Debian-like systems, like jessie or Ubuntu<br>
16.04?  I've only done these for stretch and don't have any need to backport<br>
them myself, if someone else would like this I'll try.<br>
<br>
<br>
-- <br>
Paul Bone<br>
<a href="http://paul.bone.id.au" rel="noreferrer" target="_blank">http://paul.bone.id.au</a><br>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br>
<a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail-m_-1139162648766403432gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Jeff Brown | Jeffrey Benjamin Brown</div><div dir="ltr"><a href="https://msu.edu/~brown202/" style="font-size:12.8px" target="_blank">Website</a>   |   <a href="https://www.facebook.com/mejeff.younotjeff" style="font-size:12.8px" target="_blank">Facebook</a>   |   <a href="https://www.linkedin.com/in/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">LinkedIn</a><span style="font-size:12.8px">(spammy, so I often miss messages here)   </span><span style="font-size:12.8px">|</span><span style="font-size:12.8px">   </span><a href="https://github.com/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">Github</a><span style="font-size:12.8px">   </span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Jeff Brown | Jeffrey Benjamin Brown</div><div dir="ltr"><a href="https://msu.edu/~brown202/" style="font-size:12.8px" target="_blank">Website</a>   |   <a href="https://www.facebook.com/mejeff.younotjeff" style="font-size:12.8px" target="_blank">Facebook</a>   |   <a href="https://www.linkedin.com/in/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">LinkedIn</a><span style="font-size:12.8px">(spammy, so I often miss messages here)   </span><span style="font-size:12.8px">|</span><span style="font-size:12.8px">   </span><a href="https://github.com/jeffreybenjaminbrown" style="font-size:12.8px" target="_blank">Github</a><span style="font-size:12.8px">   </span></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>