mirror of
https://github.com/idris-lang/Idris2.git
synced 2025-01-07 00:07:19 +03:00
e3df2d59b0
Instead of dumping the required dynamic libraries in the working directly, where the executable won't necessarily find them, take the same approach as the Chez backend and create a subdirectory for the required runtime files and use a shell script to start up with the right library paths. |
||
|---|---|---|
| .. | ||
| app | ||
| backends | ||
| faq | ||
| ffi | ||
| listing | ||
| proofs | ||
| reference | ||
| tutorial | ||
| typedd | ||
| updates | ||
| conf.py | ||
| index.rst | ||