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
..
default.nix	yices: drop symlink hack, avoid ldconfig on linux	2021-10-31 09:08:41 +01:00
linux-no-ldconfig.patch	yices: drop symlink hack, avoid ldconfig on linux	2021-10-31 09:08:41 +01:00