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 833637EE25 for ; Wed, 20 Nov 2013 16:28:24 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.212.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yallop@gmail.com designates 209.85.212.180 as permitted sender) identity=mailfrom; client-ip=209.85.212.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-f180.google.com) identity=helo; client-ip=209.85.212.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-wi0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYDAB/UjFLRVdS0lGdsb2JhbABZgz9HDIJ2u3WBDggWDgEBAQEHCwsJEiqCJQEBBSMdARsdAQMMBgULDQICJgICIQEBEQEFARwGE4duAQMPozyMBFODCYQuChknDWSHOREBBQyBHYs6gnQHgmuBRwOWJ4FrgS+LJoNMGCmDFYE+PA X-IPAS-Result: AkYDAB/UjFLRVdS0lGdsb2JhbABZgz9HDIJ2u3WBDggWDgEBAQEHCwsJEiqCJQEBBSMdARsdAQMMBgULDQICJgICIQEBEQEFARwGE4duAQMPozyMBFODCYQuChknDWSHOREBBQyBHYs6gnQHgmuBRwOWJ4FrgS+LJoNMGCmDFYE+PA X-IronPort-AV: E=Sophos;i="4.93,737,1378850400"; d="scan'208";a="44141755" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Nov 2013 16:28:24 +0100 Received: by mail-wi0-f180.google.com with SMTP id hm4so1662754wib.1 for ; Wed, 20 Nov 2013 07:28:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=RZl6SCB9voT4llTzACeZ0vBBpo5goU13iTLNno9QaIE=; b=B7U6lyB0Kcd6lSYr1aYoMQEAh2y+QEL/gVzqe96TSFd4pVdnf38mTyM9dCLpDqGwHU fumZ7wzIMwWOAv7s+kKg7tYaz3HXFCTvgMki6qkGuK29vSnjASmnZzD5B0/7xX3rWP6D EfVRBv7iHuFPkzvRuMPAq3IUqen9JLMz/VbamjWMllW1SNlt3tTpGh9EtX4SZ4Roy4O7 6TvyqMiMIFE1VQtgBKOgaYU45MySZGe9hjPLXqdlawBUcly7Mgi1gx5Rxh9qLg3mtmH1 JW5vwdu7sTWOmmxiU+XoJ2iis07QHBfJfTUKdORuua+qawud3UFFdAy1+C23PTHs5grn 017A== MIME-Version: 1.0 X-Received: by 10.180.12.179 with SMTP id z19mr25851377wib.24.1384961302430; Wed, 20 Nov 2013 07:28:22 -0800 (PST) Received: by 10.216.185.65 with HTTP; Wed, 20 Nov 2013 07:28:22 -0800 (PST) In-Reply-To: References: Date: Wed, 20 Nov 2013 15:28:22 +0000 Message-ID: From: Jeremy Yallop To: Mike McClurg Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] ctypes with -thread: inconsistent assumptions over implementation Foreign On 20 November 2013 08:23, Jeremy Yallop wrote: > On 19 November 2013 22:57, Mike McClurg wrote: >> $ ocamlfind ocamlopt -verbose -package ctypes,ctypes.foreign -linkpkg >> -thread -o test test.ml > [...] >> File "test.ml", line 1: >> Error: Files test.cmx >> and /Users/mike/.opam/system/lib/ctypes/ctypes-foreign-threaded.cmxa >> make inconsistent assumptions over implementation Foreign > [...] >> Am I doing something wrong here? Or is something wrong with the way ctypes >> is built and packaged? > > It's a packaging problem. The problem is fixed in ctypes 0.2.2, which is now available via OPAM.