Manuel Drehwald

I've tried to transfer my code partially to Spaces. However I haven't had any success, my impression is that it would be easier to transfer dql_agent, ql_agent, fortress, and tictactoe...

@I-Al-Istannen hmm

Hi, yes indeed I have been ignoring MacOS support a bit since I had no good way of debugging it. I am happy to take an hour one of these...

Yep no worries that's not needed, the bugs are likely that I either hardcoded some paths or file endings that don't exist on linux. So if you are fine with...

rust/src/bootstrap/src/core/build_steps/compile.rs line 1652

Looking through old PRs and online docs, you can apparently get rid of `-bundle` flags by changing the CMake build type from Module to something else, but that caused a...

Can you share your final rust changes so we can merge them?

But only of rustc which I'd expect, but not of your binary, right? I.e. if you run `cargo +enzyme build` and look at the resulting binary, it won't depend on...

That's bad, but by default (if Enzyme isn't moved between compiling and running the binary) is going to work, right? So I'd still merge the fix and then try to...

I just merged a different fix from Tim, @marcpabst can you try to rebuild and see if A) it works and B) if you still have the runtime dependency of...