* Re: [Caml-list] [Coq-Club] ocaml on recent synology [not found] <577cf6f8.4775c20a.6fc69.5e13@mx.google.com> @ 2016-07-06 12:33 ` Jacques-Henri Jourdan 2016-07-06 12:55 ` Ivan Gotovchits 0 siblings, 1 reply; 2+ messages in thread From: Jacques-Henri Jourdan @ 2016-07-06 12:33 UTC (permalink / raw) To: caml-list, michel.levy1948 [-- 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 --] ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] [Coq-Club] ocaml on recent synology 2016-07-06 12:33 ` [Caml-list] [Coq-Club] ocaml on recent synology Jacques-Henri Jourdan @ 2016-07-06 12:55 ` Ivan Gotovchits 0 siblings, 0 replies; 2+ messages in thread From: Ivan Gotovchits @ 2016-07-06 12:55 UTC (permalink / raw) To: Jacques-Henri Jourdan; +Cc: caml-list, michel.levy1948 [-- 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 --] ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-07-06 12:56 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <577cf6f8.4775c20a.6fc69.5e13@mx.google.com>
2016-07-06 12:33 ` [Caml-list] [Coq-Club] ocaml on recent synology Jacques-Henri Jourdan
2016-07-06 12:55 ` Ivan Gotovchits
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).