[Pkg-julia-devel] DM application of Peter Colberg

[Graham Inggs]

On 21 June 2016 at 06:35, Peter Colberg <peter at colberg.org> wrote:
> Please see the updated openlibm/0.5.1-1 and openspecfun/0.5.2-1.

Openlibm 0.5.1 should build on arm64 now, closing #803206 (and
openspecfun will need USE_OPENLIBM for arm64).
I'll do a couple of test builds across a few architectures and see if
all is still well.
Can I grant you upload permissions for openlibm and openspecfun?

> I have unconditionally enabled parallel builds for both libraries.

Great.

> The git history of openspecfun was quite interesting: the upstream
> branch had never been merged into the master branch. I suspect this
> is due to upstream carrying a debian/ dir up to version 0.5.0?

Good catch!  I do remember something weird the last time I looked at
openspecfun, but I didn't figure it out.
Upstream carrying a debian/ dir should not have been a problem.

On 21 June 2016 at 07:15, Peter Colberg <peter at colberg.org> wrote:
> I don’t see how it could hurt; please go ahead.

OK.

> This should probably also go in a pull request to JuliaLang/libuv?

I'll do that.

> It’s a bit unfortunate that this special compiler is not publicly
> available for our own testing. Oh well, still better to have this
> feedback than none.

As far as I know, it is goto-cc from the cbmc package.
I have used it in the past with simpler packages, but I didn't manage
to build Julia with it.  It was easier just to ask Michael!  He
usually responds quickly.