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 DEC857F7B8 for ; Fri, 31 Jan 2014 17:23:41 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of markus.weissmann@in.tum.de) identity=pra; client-ip=131.159.0.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.weissmann@in.tum.de"; x-sender="markus.weissmann@in.tum.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of markus.weissmann@in.tum.de) identity=mailfrom; client-ip=131.159.0.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.weissmann@in.tum.de"; x-sender="markus.weissmann@in.tum.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp1.informatik.tu-muenchen.de) identity=helo; client-ip=131.159.0.8; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="markus.weissmann@in.tum.de"; x-sender="postmaster@smtp1.informatik.tu-muenchen.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwBAO7M61KDnwAInGdsb2JhbABZg0S+D4EhDgEBAQEBBg0JCRQogiUBAQQBeQULCzQSVwYTh30IBMxZF45PMweDJIEUBJlchRGPDA X-IPAS-Result: ApwBAO7M61KDnwAInGdsb2JhbABZg0S+D4EhDgEBAQEBBg0JCRQogiUBAQQBeQULCzQSVwYTh30IBMxZF45PMweDJIEUBJlchRGPDA X-IronPort-AV: E=Sophos;i="4.95,758,1384297200"; d="scan'208";a="56329667" Received: from mail-out1.informatik.tu-muenchen.de (HELO smtp1.informatik.tu-muenchen.de) ([131.159.0.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 31 Jan 2014 17:23:41 +0100 Received: from alpha.fritz.box (ings-4dbf3e00.pool.mediaWays.net [77.191.62.0]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mail.in.tum.de (Postfix) with ESMTPSA id 779FD24026D; Fri, 31 Jan 2014 17:23:40 +0100 (CET) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.1 \(1827\)) From: Markus Weissmann In-Reply-To: <760058C0E85F4CD789E640073C94BF36@erratique.ch> Date: Fri, 31 Jan 2014 17:23:39 +0100 Cc: OCaml mailing list Content-Transfer-Encoding: quoted-printable Message-Id: References: <52EAFC27.4010307@riken.jp> <13732073b8c50fe8e4fb7abc831e96ac@in.tum.de> <760058C0E85F4CD789E640073C94BF36@erratique.ch> To: =?iso-8859-1?Q?Daniel_B=FCnzli?= X-Mailer: Apple Mail (2.1827) Subject: Re: [Caml-list] any automated FFI bindings generators? On 31 Jan 2014, at 16:31 , Daniel B=FCnzli wr= ote: > Le vendredi, 31 janvier 2014 =E0 16:22, Markus Wei=DFmann a =E9crit : >> just tried to use ctypes on an arm-linux system and it failed to >> compile ('[ERROR] "ctypes" is not available for your compiler or your=20= =20 >> OS.'); >> unfortunately I couldn't find anything regarding the supported=20=20 >> architectures of ctypes -- any hints on where it works? Only x86/x64? >=20 > No, it works for example on arm-based raspberyy pi. Are you sure you have= at least ocaml 4.00.0 and libffi installed ?=20=20 >=20 Ah, sorry for the noise then: I only had the Debian-provided 3.12.x and was= mislead by the error message into thinking that arm would be the problem! Best regards Markus --=20 Markus Wei=DFmann, M.Sc. Technische Universit=E4t M=FCnchen Institut f=FCr Informatik Boltzmannstr. 3 D-85748 Garching Germany http://wwwknoll.in.tum.de/