We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e79e113 commit 9ef8fa8Copy full SHA for 9ef8fa8
flake.nix
@@ -88,6 +88,9 @@
88
k-framework.packages.${system}.pyk-python310
89
k-framework.packages.${system}.k
90
komet-pyk
91
+ ] ++ lib.optionals pkgs.stdenv.isDarwin [
92
+ pkgs.gfortran.cc.lib
93
+ pkgs.openblas
94
];
95
96
dontUseCmakeConfigure = true;
@@ -119,7 +122,10 @@
119
122
komet-stellar
120
123
]
121
124
)
- } --set KDIST_DIR $out
125
+ } --set KDIST_DIR $out \
126
+ ${pkgs.lib.optionalString pkgs.stdenv.isDarwin ''
127
+ --set DYLD_LIBRARY_PATH ${pkgs.gfortran.cc.lib}/lib:${pkgs.openblas}/lib:$DYLD_LIBRARY_PATH
128
+ ''}
129
'';
130
131
passthru = if komet-rust == null && komet-stellar == null then {
0 commit comments