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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 990347FE44 for ; Wed, 6 Jul 2016 14:33:33 +0200 (CEST) IronPort-PHdr: 9a23:zL5sbhLc0bX+SZeaodmcpTZWNBhigK39O0sv0rFitYgUIv/xwZ3uMQTl6Ol3ixeRBMOAuqoC0bSd6PCocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+kQsiI0Y/sh6ibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtM0rzyMFsPsk84tEUL7mV6U+V71RSjo8dygw5cbruB2FSQaR9yJNDjU+nR9BAgyD5xb/DbnrtS6vlON2wTSXJojWQLYuWHyA6LpxRBbuwHMFPjUg7WzMz8x9irha5hCmugZzyoj8ZoaPMfN6c7jAZZUdX2UXDZUZbDBIHo7pN9hHNOEGJ+sN94Q= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jacques-henri.jourdan@normalesup.org; spf=Neutral smtp.mailfrom=jacques-henri.jourdan@normalesup.org; spf=None smtp.helo=postmaster@ulminfo.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacques-henri.jourdan@normalesup.org) identity=pra; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="jacques-henri.jourdan@normalesup.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of jacques-henri.jourdan@normalesup.org does not assert whether or not 5.135.188.139 is permitted sender) identity=mailfrom; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="jacques-henri.jourdan@normalesup.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@ulminfo.fr) identity=helo; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="postmaster@ulminfo.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AQAgAM+nxX/4u8hwVdgz5puhqBd4YYAgiBJDgUAQEBAQEBAQFkJ4IyghsBBSNVEQsSBgkWCwICCQMCAQIBNw4HDAgCF4gVBKwRj3cBCxcOinSEKnmCHoJaBZkTgy+BbIsAh3eFX5AKHjaDcoleAQEB X-IPAS-Result: A0AQAgAM+nxX/4u8hwVdgz5puhqBd4YYAgiBJDgUAQEBAQEBAQFkJ4IyghsBBSNVEQsSBgkWCwICCQMCAQIBNw4HDAgCF4gVBKwRj3cBCxcOinSEKnmCHoJaBZkTgy+BbIsAh3eFX5AKHjaDcoleAQEB X-IronPort-AV: E=Sophos;i="5.28,318,1464645600"; d="asc'?scan'208";a="225795876" Received: from ulminfo.fr ([5.135.188.139]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Jul 2016 14:33:33 +0200 Received: from [139.19.168.39] (wks-50-28.mpi-sws.org [139.19.168.39]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ulminfo.fr (Postfix) with ESMTPSA id 3ED10C0A4C; Wed, 6 Jul 2016 14:33:31 +0200 (CEST) References: <577cf6f8.4775c20a.6fc69.5e13@mx.google.com> To: caml-list@inria.fr, michel.levy1948@gmail.com From: Jacques-Henri Jourdan Message-ID: <577CFA9A.4020902@normalesup.org> Date: Wed, 6 Jul 2016 14:33:30 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 MIME-Version: 1.0 In-Reply-To: <577cf6f8.4775c20a.6fc69.5e13@mx.google.com> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="WxKtJkGeAu4buo20koFkO9KJHrC1eBkhL" Subject: Re: [Caml-list] [Coq-Club] ocaml on recent synology This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --WxKtJkGeAu4buo20koFkO9KJHrC1eBkhL Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 ? --WxKtJkGeAu4buo20koFkO9KJHrC1eBkhL Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJXfPqaAAoJEGHoGlEY1GjFJaQH/iM+qOKEx9TtAiOEqW5Shlc7 Z5fjt6IsJW080Q8bHe2mXP27kfN9NqhpTVmdmpHSjOKWpFcRHGDbwFF0Hs8h7Fjl IkqLl1hHo/+HIh4yYC/0wP9T8eecw1RaHxTnL/mtn3TsWAoBjCuFTO0DDeRTqdC4 xHOofbLnarI0G361O3JAJizSVgLorgA85RfVWLs4uSqd7Dg6o7kjcr57z1iqdZmr uC4cPGk+A3lrTsxXWkL84zSQmxA/etle3R/tbuB4uslKyu860sTkA9yONbLDOMQc pRCcDELdCYFaC0GV7FNGHhK5jea2zdz4VF7awCOTTHfH/4XRQQde2HPNHPvLr4A= =MMSw -----END PGP SIGNATURE----- --WxKtJkGeAu4buo20koFkO9KJHrC1eBkhL--