[ fix ] loading of dylib on macOS Monterey

[chrrasmussen]

Hi,

After upgrading to macOS 12 (Monterey) I was unable to run the idris2 executable that I had previously installed. Instead I was shown the following error:

Exception: (while loading libidris2_support.dylib) dlopen(libidris2_support.dylib, 0x0002): tried: 'libidris2_support.dylib' (no such file), '/usr/local/lib/libidris2_support.dylib' (no such file), '/usr/lib/libidris2_support.dylib' (no such file), '/Users/USER/Idris/Idris2-main/libidris2_support.dylib' (no such file), '/usr/local/lib/libidris2_support.dylib' (no such file), '/usr/lib/libidris2_support.dylib' (no such file)

Thanks to @ska80's clarification in INSTALL.md (commit 880981d) I was able to fix the problem. It appears that macOS Monterey requires DYLD_LIBRARY_PATH to be set (instead of LD_LIBRARY_PATH).

In order to make it possible to bootstrap Idris 2 on macOS Monterey from the main branch I also needed to update the Chez and Racket bootstrap files: The previous bootstrap files would generate the idris2 shell script with only LD_LIBRARY_PATH specified.

---

Similar error when bootstrapping from Racket:

idris2 --build prelude.ipkg
ffi-lib: couldn't open "libidris2_support.dylib" (dlopen(libidris2_support.dylib, 0x0006): tried: 'libidris2_support.dylib' (no such file), '/usr/local/lib/libidris2_support.dylib' (no such file), '/usr/lib/libidris2_support.dylib' (no such file), '/Users/USER/Idris/Idris2-main/libs/prelude/libidris2_support.dylib' (no such file), '/usr/local/lib/libidris2_support.dylib' (no such file), '/usr/lib/libidris2_support.dylib' (no such file))
  context...:
   /Applications/Racket v7.9/collects/ffi/unsafe.rkt:131:0: get-ffi-lib
   '#%mzc:idris2-boot: [running body]
   top-level: [running body]
make[2]: *** [all] Error 1
make[1]: *** [prelude] Error 2
make: *** [bootstrap-racket] Error 2

[gallais]

Hmmm. Why was macos-bootstrap-chez skipped?

[chrrasmussen]

I force-pushed to re-run the workflows. Looks better now (Still 2 Racket-related workflows skipped though).