From: Ivan Gotovchits <ivg@ieee.org>
To: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Cc: caml-list <caml-list@inria.fr>, michel.levy1948@gmail.com
Subject: Re: [Caml-list] [Coq-Club] ocaml on recent synology
Date: Wed, 6 Jul 2016 08:55:56 -0400 [thread overview]
Message-ID: <CALdWJ+y1esBxhabvDor=ARJ=eDRDV8xm5hgvDRFK=u8YOXAafA@mail.gmail.com> (raw)
In-Reply-To: <577CFA9A.4020902@normalesup.org>
[-- Attachment #1: Type: text/plain, Size: 926 bytes --]
It uses ARMv7 CPU, so it would be possible to get a native OCaml there. To
get the gcc you need to install the toolchain [1] on the machine.
[1]:
https://sourceforge.net/projects/dsgpl/files/DSM%205.0%20Beta%20Tool%20Chains/Intel%20x86%20Linux%203.2.40%20(Cedarview)/
On Wed, Jul 6, 2016 at 8:33 AM, Jacques-Henri Jourdan <
jacques-henri.jourdan@normalesup.org> wrote:
> This is probably more a question for the Caml list, so I change the list.
>
> What kind of C compiler is there on this machine ? Do you know anything
> about this architecture ? I.e., what do you have ?
>
> On 07/06/2016 02:17 PM, Michel Levy wrote:
> > I need to have ocaml running (at least ocamlrun) on my synology DS115j.
> > The system running on this server is Linux DiskSynology 3.2.40 : it
> > has no apt-get, no gcc, so it's impossible to compile the source.
> > Do you know a solution to install ocaml in such a (hostile) environment ?
>
>
>
[-- Attachment #2: Type: text/html, Size: 1451 bytes --]
prev parent reply other threads:[~2016-07-06 12:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <577cf6f8.4775c20a.6fc69.5e13@mx.google.com>
2016-07-06 12:33 ` Jacques-Henri Jourdan
2016-07-06 12:55 ` Ivan Gotovchits [this message]
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='CALdWJ+y1esBxhabvDor=ARJ=eDRDV8xm5hgvDRFK=u8YOXAafA@mail.gmail.com' \
--to=ivg@ieee.org \
--cc=caml-list@inria.fr \
--cc=jacques-henri.jourdan@normalesup.org \
--cc=michel.levy1948@gmail.com \
/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