diff options
| author | Liam Murphy <liampm32@gmail.com> | 2024-10-12 21:44:23 +1100 |
|---|---|---|
| committer | Liam Murphy <liampm32@gmail.com> | 2024-12-06 09:13:01 +1100 |
| commit | d7c4d4acad13462f716579897006e3c0faeac6f6 (patch) | |
| tree | f975da64a13cc30c329a41dc8764ae7077587df3 /pkgs/development/python-modules/httpserver | |
| parent | 2e0d114024866e4c1c9b628b5b873c22bc8f9397 (diff) | |
isabelle: fix darwin build
The changes to isabelle-sha1 were necessary due to #349555: it results
in needing to pass `-syslibroot $SDKROOT` in addition to `-lSystem` when
invoking ld64 directly. But a simpler solution was to use $CC instead,
since it passes all those flags automatically, which is also how it's
built upstream (their build script sets `LD="gcc"`).
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions