idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-17 08:11:45 +03:00
Code Issues Projects Releases Wiki Activity
210 Commits 6 Branches 9 Tags 112 MiB
e3df2d59b0
Commit Graph

2 Commits

Author SHA1 Message Date
Edwin Brady
e3df2d59b0 Tidy up Racket CG 
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.
 2020-05-23 15:18:18 +01:00
Edwin Brady
fd55e629ee Copy more files over from Idris2 2020-05-20 11:23:04 +01:00