[9fans] fail to crosscompile Rasperry Pi Miller's kernel

2017-01-13 Thread yoann padioleau
Hi, I am trying to compile the plan9 kernel for the Rasperry pi from Richard Miller. I am using from MacOSX the kencc toolchain https://code.google.com/hosting/moved?project=ken-cc now https://bitbucket.org/plan9-from-bell-labs/9-cc/

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
> > 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

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Giacomo Tesio
2017-01-13 15:05 GMT+01:00 Joe M : > > > > Don't you need GHC to compile Idris? > > http://docs.idris-lang.org/en/latest/faq/faq.html#when-will- > idris-be-self-hosting > > I have the posix version of the rts working on 9front. The default C > backend generated code compiled and runs on 9front. I

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
> > Don't you need GHC to compile Idris? http://docs.idris-lang.org/en/latest/faq/faq.html#when-will-idris-be-self-hosting 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. As a next st

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Joe M
Sorry for the confusion. I did not realize that there was an Idris OS. I am referring to http://www.idris-lang.org/ , Idris Language. Thanks Skip Tavakkolian wrote: > That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger). > > For the record, David Stanhope did the port, and cr

[9fans] A simple trick for search/replace

2017-01-13 Thread Mark van Atten
I sometimes do a (repeated) search/replace on a single character, for example /`/ c/‘/ The above are applied using chording, with an Edit in the relevant window; the search/replace is split into two separate commands so I can check the instances. But depending on the width of the character searc

Re: [9fans] Porting Idris to 9front

2017-01-13 Thread Skip Tavakkolian
That is a reference to the Idris OS -- by Whitesmiths Ltd. (P.J. Plauger). For the record, David Stanhope did the port, and created the boot ROMs and the cartridge to boot Idris. He also designed and built an Ethernet card for the ST. I was a novice programmer/sysadm lucky enough to have one the