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 0EF587EE78 for ; Tue, 26 Apr 2016 18:21:46 +0200 (CEST) IronPort-PHdr: 9a23:TgQ8kRPxiIKizBUbNMEl6mtUPXoX/o7sNwtQ0KIMzox0KPr7rarrMEGX3/hxlliBBdydsKIUzbWH+PC/EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35TxiLH5q8KbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoXzNNbSajxY4g/SLVZCnxmbzF0t4XXskzIRA6Lo38dSXk+kxxSAgGD4gupcI32t37AseBwwjWddeH3BZszQjGlp/NxTxXlkjsAHzI4+2bMj8s2i7hU9kHy7ydjypLZNdnGfMF1ebnQKI9LSA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.49 as permitted sender) identity=mailfrom; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-wm0-f49.google.com) identity=helo; client-ip=74.125.82.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wm0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AOAQBwlB9XjzFSfUpehAt3BqY1gmqIZyiJE2KHKjsRAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQQSIAENARQZDAMMAQUFGAkEIQ8FIAEFAQEJKxIQh3MDEgkFpTKBMT4xj3eHSCcDCoRhAQEIAhgBBQoFhRqEQYEChQuCX4IrBYYzDIE1kByFfIJ4BYUUgj+CKYROhWWHUhOGDTCBDjZhgzhqiQABAQE X-IPAS-Result: A0AOAQBwlB9XjzFSfUpehAt3BqY1gmqIZyiJE2KHKjsRAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQQSIAENARQZDAMMAQUFGAkEIQ8FIAEFAQEJKxIQh3MDEgkFpTKBMT4xj3eHSCcDCoRhAQEIAhgBBQoFhRqEQYEChQuCX4IrBYYzDIE1kByFfIJ4BYUUgj+CKYROhWWHUhOGDTCBDjZhgzhqiQABAQE X-IronPort-AV: E=Sophos;i="5.24,537,1454972400"; d="scan'208";a="215913547" Received: from mail-wm0-f49.google.com ([74.125.82.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2016 18:21:45 +0200 Received: by mail-wm0-f49.google.com with SMTP id u206so13243487wme.1 for ; Tue, 26 Apr 2016 09:21:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:subject:message-id:references:mime-version :content-disposition:content-transfer-encoding:in-reply-to :user-agent; bh=ZBm+/6Iue2X92jhk3qZywh3SbXTCbRarv+lLMxZmt6k=; b=J55EEaD/Yc+E0Tapqqax+aCEegIzwTi/Jf6lsWUCIkzVk+65d4yroSue0bM79OOutY nffAddCkSeCxDpc02DXGxhR0887gYh47UjQ3F8Zb6edvAe3HYQ9+sCcCV7UOd3OnJcP8 bjhwYUb+Guo4oJaVJzJssRz4jYuUwqX+Q7ca7Q/Lhe5sucdHi30VwJnhL4vKecEQc8rx OVeou4x8FmjslEQUEiKsN6R0OMkyddp0Kk/vPWZU7seoKHUZapb2ppq1xhMUa0RTzd4H +Xwlv1PWlvNJw297VEJ1YpsVtM/sflak3j8lY94YKfF6XBSnsZyIMqID++SgzYwdt0K+ lODA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:date:from:to:subject:message-id :references:mime-version:content-disposition :content-transfer-encoding:in-reply-to:user-agent; bh=ZBm+/6Iue2X92jhk3qZywh3SbXTCbRarv+lLMxZmt6k=; b=ZCBPstYA9EtfBB+7v9RZPPaCtgXcucffaK1kwnjvtODykSLh7iXMYvIDFMDFW/xKND ykCjyXhg6wqiDrrFbltI1pfbmXQpFhyVkoz/gqIxQlpVuYUKwNnf1YIq/pUyMk2spQ3j 9GvKh41gwxhy4G9j8EYP/lIklafb0igQlHCIDgwN6iU0h58sSf/LTpktFWIAXWp2OALq 81UDID0Y+gZrrFWEvjnntl3NQcGhZaqK7HnpZx9kPBeMbbART10JT3MTXWrEnyO5hTvT YqDge/c/WdWM4SaDCqQB2bwqmzl8Fje0eCK91MybwbQ46HqxoM5o/2EJO/hVkRSmEKaD zAyw== X-Gm-Message-State: AOPr4FUSPH6vT9j9rI9wbFUEEHsMp9Ea+jXkDgoHHG404RjGfy+QVayatfXvII9oUVsXPA== X-Received: by 10.28.17.211 with SMTP id 202mr4550488wmr.11.1461687705211; Tue, 26 Apr 2016 09:21:45 -0700 (PDT) Received: from traveler (dt-65052.paris.inria.fr. [128.93.65.52]) by smtp.gmail.com with ESMTPSA id a200sm18056363wme.8.2016.04.26.09.21.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 26 Apr 2016 09:21:44 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.87) (envelope-from ) id 1av5k7-0008Dk-Nz for caml-list@inria.fr; Tue, 26 Apr 2016 18:21:43 +0200 Date: Tue, 26 Apr 2016 18:21:43 +0200 From: Roberto Di Cosmo To: caml-list@inria.fr Message-ID: <20160426162143.GA15142@traveler> References: <20160426143541.GB21686@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20160426143541.GB21686@pl-59055.rocqadm.inria.fr> User-Agent: Mutt/1.5.24 (2015-08-30) Subject: Re: [Caml-list] parmap package broken in opam switch 4.03.0 Hi Sebastien, thanks for reporting this; in principle, it would be better to just open an issue on https://github.com/rdicosmo/parmap but this seems indeed to be an issue with 4.03, that may hit other people, so I'm following up here. The problem is related to setcore.mli, which is just the interface for some C code, so there is no setcore.ml, hence no setcore.cmx either; compilation of such cases ran along just fine via ocamlbuild up to 4.02 It seems that in 4.03 one needs to add the -opaque flag when compiling such stubs, otherwise things go astray, and it seems ocamlbuild does not detect automatically such situations, so one needs to explicitly pass the -opaque option when compiling setcore.mli (and only it). If people on the list can confirm this, we'll then need to adapt parmap's autoconf / makefile with code that spots whether we are using 4.03+. If some kind soul wants to lend a hand, it would be much appreciated... otherwise I'll try to do it in a moment of spare time all the best -- Roberto On Tue, Apr 26, 2016 at 04:35:41PM +0200, Sébastien Hinderer wrote: > Hi, > > It seems the Setcore module is not correctly included in the parmap > library in opam's 4.03.0 switch: > > ~$ ocamlobjinfo .opam/4.03.0/lib/parmap/parmap.cmxa | grep -i setcore > 7d7337fa605045f3c5ec064376ede776 Setcore > -------------------------------- Setcore > > (where the first line corresponds to the Interfaces imported by the > Parmap module and the second line to the Implementations imported by that > same module) > > Practically, when one tries to compile a program using parmap, one gets > an error while trying to link parmap.cmxa about the Setcore symbol which > is not found. > > Sébastien. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur (on leave at/detache a INRIA Roquencourt) IRIF E-mail : roberto@dicosmo.org Universite Paris Diderot Web : http://www.dicosmo.org Case 7014 Twitter : http://twitter.com/rdicosmo 5, Rue Thomas Mann F-75205 Paris Cedex 13 France ------------------------------------------------------------------ Office location: Paris Diderot INRIA Bureau 3020 (3rd floor) Bureau C123 Batiment Sophie Germain Batiment C 8 place Aurélie Nemours 2, Rue Simone Iff Tel: +33 1 57 27 92 20 Tel: +33 1 80 49 44 42 Metro Bibliotheque F. Mitterrand Ligne 6: Dugommier ligne 14/RER C Ligne 14/RER A: Gare de Lyon ------------------------------------------------------------------ GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3