Sergei Trofimovich
|
597eb07e00
|
yices: drop symlink hack, avoid ldconfig on linux
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263
Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
|
2021-10-31 09:08:41 +01:00 |
|