swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-05 17:56:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/yices
History
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