20:17:55kpoeckdrmeister regarding boehmgc, I thought we should use the version from https://github.com/clasp-developers/clasp-boehm instead of the version used by brew. Is this no longer the case?
20:19:27kpoeckEspecially have a look at https://github.com/clasp-developers/clasp-boehm/blob/master/makefile#L12
21:36:12drmeisterkpoeck: It's been so long that I don't recall about the clasp-boehm repo - but it's good that you reminded me. I'm building a version I got from cracaeur at the moment - I'll take a look at clasp-boehm
21:36:58drmeisterYes - I think you are right - that makefile looks like what I want.