From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 27C567FF1D for ; Wed, 6 Jul 2016 14:56:00 +0200 (CEST) IronPort-PHdr: 9a23:SRK4Bxa80H/QOg1Rgv76x03/LSx+4OfEezUN459isYplN5qZpcW6bnLW6fgltlLVR4KTs6sC0LuO9fq+EjFYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ3pzxjb75psWbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jJvBLaUAaUo1sRVH8X2jhPHhLJ5ReyCpX4uTLnu/E42CScJ8ywT7cpQzir6Y9tTwXtgSMKLCMhtmbNhZojorhcpUeAuRV5i6HTfIaLP/p/YriVKdIESkJAU8tcEStbDdXvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lf0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.215.44 as permitted sender) identity=mailfrom; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f44.google.com) identity=helo; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lf0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DhAABt/nxXhizXVdFdhBR8BrQqhngmhXICgSIHOxEBAQEBAQEBAREBAQEICwsJIS+CMoIaAQEEARIRHQEBNwEECwsEAQYHBioCAiISAQUBDg4GExsHiAYIDp4/gTE+MYpUZ4RDAQEFiy4BAQEBAQEBAQEBAQEBAQEBARgDBRCGF4RNgmCBSkOCVIJamRiGCYg+jyqOSxIegQ80gjmBcyAyAQGIcAEBAQ X-IPAS-Result: A0DhAABt/nxXhizXVdFdhBR8BrQqhngmhXICgSIHOxEBAQEBAQEBAREBAQEICwsJIS+CMoIaAQEEARIRHQEBNwEECwsEAQYHBioCAiISAQUBDg4GExsHiAYIDp4/gTE+MYpUZ4RDAQEFiy4BAQEBAQEBAQEBAQEBAQEBARgDBRCGF4RNgmCBSkOCVIJamRiGCYg+jyqOSxIegQ80gjmBcyAyAQGIcAEBAQ X-IronPort-AV: E=Sophos;i="5.28,318,1464645600"; d="scan'208,217";a="184049168" Received: from mail-lf0-f44.google.com ([209.85.215.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Jul 2016 14:55:58 +0200 Received: by mail-lf0-f44.google.com with SMTP id h129so154128180lfh.1 for ; Wed, 06 Jul 2016 05:55:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=o5qDEja2RajtKnGE6Wta+u/GDz4DwQyR3Y1Wp9euwFM=; b=ekhduW5U5l3eVmZhdzgLM5F4vWU0Y7SCi+byb7qgku0eZ3Z4rmTxXu4qcLAYIVPt/N M5g4geobIhXA5OiskkiIUUdYeu2bySFvUj0F6iN2sCFMooRxKXvN39EBUlWY+O5B/9I8 ob/Hqmwzs/MU783sPzJlwqKLtjBqGNL0B4PMMHFFV3rFCLmlINSmQZkgepd4ea5Rqpx7 cIsGhHNhlmokdyDt/Ke80o/azZyYDfYIgDKeYudLR62Bz2WtcUvQ7AabuftelUJBZMcl MgzR8LrxFFZ0LomJqjA2CfRxoWA7dGWTTG+AOn0IPou1hSlbr1JLSFuSo/kcpk7gWEg4 XJ2w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=o5qDEja2RajtKnGE6Wta+u/GDz4DwQyR3Y1Wp9euwFM=; b=L7G8aj3tYjuuIQ70xXBeZwiEk+TgOrqo55GnkkaubGrfHKK9Xxon1cNXmOA3C+pECJ LNoEkYJg81hDkWa94xyPtvAIVp5NjsGq2Deh53GoDivffje6lA/o2jcKh4g/ArHCnZnU gmZeI9FQmx8RzsyYBZtrMf9lGgk6d8oWz5yXi0pFP7+lvQ4xgwZ5z9ftLhwHHAY/uWUp Lb4a56mgB1j3TOIlsNK0ahMcYmw24xS9fzjZCZplDBMuspZeBaW5RhXMv7AVEdKWlbLx wW45VaJ7Vw+uWdtkoWwSGqnT9eIJRXjGjgSFFZo/jrBRhBGnIKivCkmrYpqBVntUhP6V Q4zA== X-Gm-Message-State: ALyK8tJJcLf+Zw2F3SRtZaRoMh79ujhtsc+SaBBbdOw5nDxIBh9bQD/4vBkJ3FJsUshDXxPMq3rEe8Zp8x7lMe4h X-Received: by 10.25.27.203 with SMTP id b194mr4755936lfb.172.1467809757550; Wed, 06 Jul 2016 05:55:57 -0700 (PDT) MIME-Version: 1.0 Received: by 10.114.28.4 with HTTP; Wed, 6 Jul 2016 05:55:56 -0700 (PDT) In-Reply-To: <577CFA9A.4020902@normalesup.org> References: <577cf6f8.4775c20a.6fc69.5e13@mx.google.com> <577CFA9A.4020902@normalesup.org> From: Ivan Gotovchits Date: Wed, 6 Jul 2016 08:55:56 -0400 Message-ID: To: Jacques-Henri Jourdan Cc: caml-list , michel.levy1948@gmail.com Content-Type: multipart/alternative; boundary=001a11401f44327c7c0536f717f0 Subject: Re: [Caml-list] [Coq-Club] ocaml on recent synology --001a11401f44327c7c0536f717f0 Content-Type: text/plain; charset=UTF-8 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 ? > > > --001a11401f44327c7c0536f717f0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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 m= achine.


On Wed, J= ul 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 t= he 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.<= br> > Do you know a solution to install ocaml in such a (hostile) environmen= t ?



--001a11401f44327c7c0536f717f0--