From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
To: caml-list@inria.fr, michel.levy1948@gmail.com
Subject: Re: [Caml-list] [Coq-Club] ocaml on recent synology
Date: Wed, 6 Jul 2016 14:33:30 +0200 [thread overview]
Message-ID: <577CFA9A.4020902@normalesup.org> (raw)
In-Reply-To: <577cf6f8.4775c20a.6fc69.5e13@mx.google.com>
[-- Attachment #1: Type: text/plain, Size: 544 bytes --]
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: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 473 bytes --]
next parent reply other threads:[~2016-07-06 12:33 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 [this message]
2016-07-06 12:55 ` Ivan Gotovchits
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=577CFA9A.4020902@normalesup.org \
--to=jacques-henri.jourdan@normalesup.org \
--cc=caml-list@inria.fr \
--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