> > I have the posix version of the rts working on 9front. The default C > > backend generated code compiled and runs on 9front. I generated the c > > code on linux though. > > > > Can you detail the process? > > I'd like to give it a try on Jehanne (which is built with gcc).
I updated the README with the usage instructions https://github.com/joe9/idris-9front-backend . Please let me know if that does not help. Basically, generate the .c file using Idris on linux (or, another platform that Idris runs on). Compile the rts and this generated .c file using ape on 9front. A caveat, I tested with simple Hello World code. Not sure how well it works for something more complicated though. Thanks
