9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: Joe M <joe9mail@gmail.com>
To: 9fans@9fans.net
Subject: Re: [9fans] Porting Idris to 9front
Date: Fri, 13 Jan 2017 09:54:51 -0700	[thread overview]
Message-ID: <20170113165451.GA5092@master> (raw)
In-Reply-To: <CAHL7psER2WmyaPVs=RCktJ715ZNQRUkuWovimunYp79QN=1mxw@mail.gmail.com>


> > 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



  reply	other threads:[~2017-01-13 16:54 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-01-13  3:29 Joe M
2017-01-13  5:55 ` Ramakrishnan Muthukrishnan
2017-01-13 14:05   ` Joe M
2017-01-13 14:56     ` Giacomo Tesio
2017-01-13 16:54       ` Joe M [this message]
2017-01-14 19:32     ` Ramakrishnan Muthukrishnan
2017-01-14 20:18       ` Ori Bernstein
2017-01-15  2:12         ` Ramakrishnan Muthukrishnan
2017-01-13  6:19 ` Sean Callanan
2017-01-13  8:50 ` Skip Tavakkolian
2017-01-13 13:47   ` Joe M

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20170113165451.GA5092@master \
    --to=joe9mail@gmail.com \
    --cc=9fans@9fans.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).