The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Michel,

> I need to have ocaml running (at least ocamlrun) on my synology DS115j.

I would cross compile it on cygwin. You can also cross compile it on Linux, 
but it is trickier because it is not so common to make a cross gcc where 
HOST=TARGET=BUILD. But Cygwin and Linux are different architectures so if you 
build a Linux gcc on Cygwin, it is obvious to gcc configure that you want a 
cross environment. I think it wouldn't take more than a day to find out how 
to configure the cross build in Linux, though.

So you start with creating a "cross" gcc for linux. You use the usual HOST 
and TARGET settings in configure. A cross gcc will install to 
/usr/<my-special-arch>/sys-root. You can copy shared .so files you need from 
the target into the appropriate places under sys-root.

Then you compile ocaml using this gcc.
 
The technique is similar to cross compiling Coq for MinGW on Linux or Cygwin. 
You can have a look at the scripts Enrico is using for building the Coq 
Windows SDK. I can also send you my original version, which doesn't have the 
installer generation complexities.

See https://github.com/gares/coq/commits/feature/winSDK

Best regards,

Michael

-----Original Message-----
From: 
coq-club-request AT inria.fr
 
[mailto:coq-club-request AT inria.fr]
 On Behalf Of Michel Levy
Sent: Wednesday, July 6, 2016 2:18 PM
To: 
coq-club AT inria.fr
Subject: [Coq-Club] ocaml on recent synology

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 ?
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928