diff options
| author | Thomas Watson <twatson52@icloud.com> | 2024-10-02 21:10:11 -0500 |
|---|---|---|
| committer | Thomas Watson <twatson52@icloud.com> | 2024-10-02 21:10:11 -0500 |
| commit | d6011f008571b5d87614007bb94a6781d29a052a (patch) | |
| tree | 6f39f6d99d5fc08f4dd419915a37ed94831becb9 /pkgs/development/python-modules/rangehttpserver | |
| parent | 78389c563cbe52a1b5742cd760ef52291b429fc2 (diff) | |
btor2tools: fix on darwin
`-DCMAKE_BUILD_WITH_INSTALL_NAME_DIR=ON` is necessary so the executable
is pointed to its shared library on Darwin.
Also add an `installCheckPhase` to ensure this doesn't break in the future.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions