Set Boehm as GC backend explicilty

[jacob-hughes]

This needs merging before https://github.com/softdevteam/yksom/pull/192 can land.

[ltratt]

bors r+

[bors[bot]]

Build failed:

• buildbot/buildbot-build-script

[ltratt]

@jacob-hughes Did you see the buildbot failure?

[jacob-hughes]

It seems I have selective sight... I could have sworn this said build passed in the notifications channel :eyes:

[jacob-hughes]

This one requires rustc_boehm to be synced with upstream which I'm working on now but has a quite a few conflicts that need resolving.

[ltratt]

OK.

[jacob-hughes]

bors try

[bors[bot]]

try

Build failed:

• buildbot/buildbot-build-script

[jacob-hughes]

Hmm, this failed because the build server is out of disk space :/

[ltratt]

I've freed up some space, but it's probably not enough: I've pinged the others.

[jacob-hughes]

Can try kicking it again with r+ ? Since it's merge-ready.

[ltratt]

As soon as a bit more space is freed up, I'll try r+!

[ltratt]

bors r+

[bors[bot]]

Build failed:

• buildbot/buildbot-build-script

[ltratt]

bors r+

[bors[bot]]

Build failed:

• buildbot/buildbot-build-script

[ltratt]

Good news: this failure isn't due to disk space ;)

error: internal compiler error: compiler/rustc_codegen_llvm/src/intrinsic.rs:305:18: unknown intrinsic 'needs_finalizer'

[jacob-hughes]

bors try

[bors[bot]]

try

Build succeeded:

• buildbot/buildbot-build-script

[jacob-hughes]

This one can be merged now :)

[ltratt]

bors r+

[bors[bot]]

Timed out.

[jacob-hughes]

Hmm. Maybe this just needs another kick?

[ltratt]

bors r+

[bors[bot]]

Build succeeded:

• buildbot/buildbot-build-script