Re: [Caml-list] [Coq-Club] ocaml on recent synology

Re: [Caml-list] [Coq-Club] ocaml on recent synology

[Jacques-Henri Jourdan]

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

Re: [Caml-list] [Coq-Club] ocaml on recent synology

[Ivan Gotovchits]

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