Open belonesox opened 7 months ago
Should I check different versions of Racket while compiling "idris2_app/idris2-boot.rkt"
If you can install a newer version of Racket, I would try that yes. From a bit of searching and digging around, it seems Racket 8.0 was a major change so it is possible that Idris does not compile pre-v8.0. Annoyingly, it doesn't seem like Fedora provides a newer version by default despite Racket v8.0 being over 3 years old at this point, so you will need to install it manually or via a community repo.
I have racket 8.12 ready for Fedora 39+ in updates-testing - you could try that. (I will probably push them stable soon too.)
Trying install idris2 with racket on Fedora with racket 7.9 (tested on FC38 and FC39, on several desktops,
racket-7.9-1.fc38.x86_64
,racket-7.9-1.fc39.x86_64
)Compilation
raco exe idris2_app/idris2-boot.rkt
frommake bootstrap-racket
hangs with 100% CPU utilization (waiting lot of hours, nothing interesed in verbose--vv
in stdout).If we run with strace and interrupt build we have stack
on strace.log
Strace.log attached → strace.zip
Same problem with installing via idris-pack, first fire the issue, but definitely, idris-pack is not guilty.
With
Chez Scheme
(fromdnf copr enable superboum/chez-scheme
) compilation/installation goes OK.Should I check different versions of Racket while compiling "idris2_app/idris2-boot.rkt" or maybe I should fire some debug mode? Or may be I should make test script that reproduce the bug in all distro using distrobox?