Memory Usage for rebuild_std.sh

[masapr]

The script rebuild_std.sh runs out of memory on my machine (with almost 32GB free RAM). It works fine, when I remove MIRAI_START_FRESH=true.

I'm on commit 41b3c946163df3faf543667b64448bd2abc3357f

[hermanventer]

Is this still an issue? I don't see the problem when I run rebuild_std.sh on my much less well endowed laptop. What OS are you running on?

[masapr]

I checked again: the problem only occurs on my fork, where we included more dependencies. If I run it from this repository, it actually works. Sorry, I wasn't aware that our code would have any influence on this.

[masapr]

@hermanventer I had the issue on our fork. The branch rebuild_std_issue should reproduce the issue. Even though I have to admit, that ultimately I couldn't reproduce it anymore. But memory does go down significantly, so you might still want to check it out.