[m-users.] New Debian packages

Jeffrey Brown jeffbrown.the at gmail.com
Mon Dec 17 07:11:54 AEDT 2018


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?

ern$ cat fi
b_pattern_match.err
In file included from /usr/include/x86_64-linux-gnu/bits/libc-header-s
tart.h:33:0,
                from /usr/include/stdlib.h:25,
                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/fib_pattern_match_init.c:16:
/usr/include/features.h:184:3: warning: #warning "_BSD_SOURCE and _SVI
D_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
# warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_
SOURCE"
  ^~~~~~~
In file included from /usr/include/x86_64-linux-gnu/bits/libc-header-s
tart.h:33:0,
                from /usr/include/stdlib.h:25,
                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/fib_pattern_match_init.c:16:
/usr/include/features.h:184:3: warning: #warning "_BSD_SOURCE and _SVI
D_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
# warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_
SOURCE"
  ^~~~~~~


On Sun, Nov 18, 2018 at 12:54 AM Paul Bone <paul at bone.id.au> wrote:

> On Fri, Nov 16, 2018 at 08:22:43PM +1100, Paul Bone wrote:
> >
> > I've made some new Debian packages.
> >
> > It's basically the same source package as before which worked on the old
> > version of Debian.
> >
> > But now it's the same Mercury 14.01.1 but packaged for Debian stretch
> (and
> > should also work on Ubuntu 18.04).  It uses the reg.gc grade since the C
> > compiler on these distros is too new.
>
> I've just added Mercury ROTD 2018-11-14.  The packages begin with
> mercury-rotd rather than mercury so that you won't be automatically
> upgraded
> off of the stable versions.  Debian will refuse to install both at the same
> time (by design).  amd64 only for now, i386 is failing to build.
>
> http://dl1.mercurylang.org/deb/
>
> Good luck.
>
> Does anyone care about older Debian-like systems, like jessie or Ubuntu
> 16.04?  I've only done these for stretch and don't have any need to
> backport
> them myself, if someone else would like this I'll try.
>
>
> --
> Paul Bone
> http://paul.bone.id.au
> _______________________________________________
> users mailing list
> users at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/users
>


-- 
Jeff Brown | Jeffrey Benjamin Brown
Website <https://msu.edu/~brown202/>   |   Facebook
<https://www.facebook.com/mejeff.younotjeff>   |   LinkedIn
<https://www.linkedin.com/in/jeffreybenjaminbrown>(spammy, so I often miss
messages here)   |   Github <https://github.com/jeffreybenjaminbrown>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20181216/92ff874a/attachment.html>


More information about the users mailing list