11:25 <flokli> LnL: may I nerdsnipe you on getting https://github.com/NixOS/nixpkgs/pull/79468 to build on darwin as well? There seem to be some patches necessary for both bsc and yices2, which can be found at arjenroodselaar's "bsc" and "yices2" forks

11:25 <{^_^}> #79468 (by flokli, 17 hours ago, open): WIP: bluespec: init at unstable-2020.02.07

11:35 <LnL> flokli: firstly glibc is linux only

11:37 <flokli> LnL: yes, but I don't really understand the "calling ldconfig" part inside the build process

11:38 <flokli> I assume it doesn't exist on darwin in that form ;-)

11:38 <flokli> (that's Makefiles in the yices2 subtree)

11:41 <LnL> sorry, don't really follow

11:52 <flokli> LnL: yeah, I derped. the ldconfig part seems to be conditional, and doesn't apply on darwin at all.

11:52 <LnL> yeah that's what I would expect