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 B82447EEEF for ; Mon, 22 Jun 2015 12:07:16 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 209.85.212.170 as permitted sender) identity=mailfrom; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; 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@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAQAc3odVlKrUVdFcg2Rfv3iFLEqBL0wBAQEBAQESAQEBAQcLCwkfMIQjAQEDARIoBgE4AQMBCwEFBUY0AQUBHAY1h3gDCggEAQimPD4xkCOLCScNhWEBAQgBAQEBARcBAQQOijWBAoRTg1GBFAWTfYRWjyqONTWBFRdJg0FtAQGCRgEBAQ X-IPAS-Result: A0AiAQAc3odVlKrUVdFcg2Rfv3iFLEqBL0wBAQEBAQESAQEBAQcLCwkfMIQjAQEDARIoBgE4AQMBCwEFBUY0AQUBHAY1h3gDCggEAQimPD4xkCOLCScNhWEBAQgBAQEBARcBAQQOijWBAoRTg1GBFAWTfYRWjyqONTWBFRdJg0FtAQGCRgEBAQ X-IronPort-AV: E=Sophos;i="5.13,658,1427752800"; d="scan'208";a="166611574" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jun 2015 12:07:15 +0200 Received: by wiga1 with SMTP id a1so71674166wig.0 for ; Mon, 22 Jun 2015 03:07:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=Jr8fseTXCm+wZz7gmS+5lu6tOFed8OQ3up/WxJ+lzZk=; b=zMTHhJKjLFtnj3IyvgHEFpoXbkQ8YVypcQHLnebwBhRL6WYvLJLL1cjGKSG6YW1LN1 UxNYL5Tfxg6Px2qg8518NfiDybm57jv2rsFJdevC52xm5wybkIm5MgyhnuO9Pc+SNj3S Pjh8KIG1cVdSq8VdRkS1+pyTHCPi338fDalXHvgzX4TpF7d1nKJ8fFQSpXPVKTGnCsWZ p/RmRMTD/1Havb39cyq6Df4EoxHfETDTJqPbdCrskDo2AH1pnCNAUUzOvyet3kl9F5I1 PEMa79w6dcvs3L6Z1XgYrri+zB2AB3QJ+5+3rm5XRHBrhF2jWZhfCZDTtmbV/CzotBZD 87Wg== X-Received: by 10.180.73.145 with SMTP id l17mr30588908wiv.39.1434967635360; Mon, 22 Jun 2015 03:07:15 -0700 (PDT) Received: from [192.168.51.41] (par69-9-88-166-81-85.fbx.proxad.net. [88.166.81.85]) by mx.google.com with ESMTPSA id 12sm29739485wjw.17.2015.06.22.03.07.13 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 22 Jun 2015 03:07:14 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\)) From: Thomas Gazagnaire In-Reply-To: <5587D5B3.6080106@glondu.net> Date: Mon, 22 Jun 2015 12:07:12 +0200 Cc: caml-list@inria.fr, Debian Ocaml Maint ML Content-Transfer-Encoding: quoted-printable Message-Id: References: <5586835F.9030401@inria.fr> <55868D01.4040603@luminar.eu.org> <5587D5B3.6080106@glondu.net> To: =?utf-8?Q?St=C3=A9phane_Glondu?= X-Mailer: Apple Mail (2.2098) Subject: Re: [Caml-list] mips32 backend without floating point hardware > Any effort to make things better would be greatly appreciated. OPAM > packages should be fixed to work without ocamlopt. If the library expose a specific build target for native code, it's already= possible to annotate the opam file to do that, using `ocaml-native`, `ocam= l-native-tools` and `ocaml-native-dynlink` predicates (see [1] for an examp= le). It should be possible to run bulk builds for bytecode only to see whic= h packages need their build system to be fixed. I'll try to see what we can= do. Best, Thomas [1]: https://github.com/ocaml/opam-repository/blob/master/packages/ocamlfin= d/ocamlfind.1.5.5/opam#L11