nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 03:34:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
0f41094088
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