From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <feucht@uni-koblenz.de>
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 DC7BA7EE49
	for <caml-list@sympa.inria.fr>; Sat, 14 Sep 2013 18:01:04 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  feucht@uni-koblenz.de) identity=pra; client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="feucht@uni-koblenz.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  feucht@uni-koblenz.de) identity=mailfrom;
  client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="feucht@uni-koblenz.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@deliver.uni-koblenz.de) identity=helo;
  client-ip=141.26.64.15;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="feucht@uni-koblenz.de";
  x-sender="postmaster@deliver.uni-koblenz.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao8BAJeHNFKNGkAPnGdsb2JhbABbv1SGVRYOAQEBAQEGFgk8g2E0LSGIGpkZoGQWlAIDjy54h1SVGw
X-IPAS-Result: Ao8BAJeHNFKNGkAPnGdsb2JhbABbv1SGVRYOAQEBAQEGFgk8g2E0LSGIGpkZoGQWlAIDjy54h1SVGw
X-IronPort-AV: E=Sophos;i="4.90,904,1371074400"; 
   d="asc'?scan'208";a="32876874"
Received: from deliver.uni-koblenz.de ([141.26.64.15])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2013 18:01:03 +0200
Received: from localhost (localhost [127.0.0.1])
	by deliver.uni-koblenz.de (Postfix) with ESMTP id 5B8B91A8557
	for <caml-list@inria.fr>; Sat, 14 Sep 2013 18:01:03 +0200 (CEST)
X-Virus-Scanned: amavisd-new at uni-koblenz.de
Received: from deliver.uni-koblenz.de ([127.0.0.1])
	by localhost (deliver.uni-koblenz.de [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id hHf73IdsdEUU for <caml-list@inria.fr>;
	Sat, 14 Sep 2013 18:01:03 +0200 (CEST)
Received: from asus (dhcp250.uni-koblenz.de [141.26.71.250])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by deliver.uni-koblenz.de (Postfix) with ESMTPSA id 16C351A8556
	for <caml-list@inria.fr>; Sat, 14 Sep 2013 18:01:03 +0200 (CEST)
Date: Sat, 14 Sep 2013 17:59:55 +0200
From: Philip <feucht@uni-koblenz.de>
To: caml users <caml-list@inria.fr>
Message-ID: <20130914175955.0d67fb25@asus>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=PGP-SHA1;
 boundary="Sig_/8xpCaqo.Lkksfi_6zjPrRo0"; protocol="application/pgp-signature"
Subject: [Caml-list] Compile 4.01 on debian


--Sig_/8xpCaqo.Lkksfi_6zjPrRo0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

Hi list,
just pulled ocaml from git and made:

./configure=20
make world.opt

and got an error:

Error: Files utils/ccomp.cmo and utils/misc.cmo
       make inconsistent assumptions over interface List
make[1]: *** [compilerlibs/ocamlcommon.cma] Error 2
make[1]: Leaving directory `/home/user/git/ocaml'
make: *** [world.opt] Error 2

Am i missin sth?

-Philip

--Sig_/8xpCaqo.Lkksfi_6zjPrRo0
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJSNIf7AAoJEO5w0jzcjicdYuMH/0k5Kfj1jDOwYTO+Mn/rN/Yj
9iWpwp4mvshxjFON4Jxo6hupqTv5+k5IqjEqCsRNi/0DOTLOLd4jowivkPwsKj1t
WowWxWmttMh6hanAAD11T3LGXflJcQSZ3hJ/Sor3+jdAWGgdyt6oMt6zKuJI6BDU
wq/a7WyMMnS4a/hlovRz8R+oIx+0KmMHsW+kblsG2/7Q8RcXydR7V4VAgNbAnjkO
/GMiLA9m5L4XCpHFc9+G97skxN4Fu6eqyqqwmu87LG8938KzqJZc41VdaS4ejIen
cXqHKNxjqWc93OAYtQRH/kB9tvwys/DMPtcDp8acvT7BG1mffCVEU/ZX70QJITI=
=C7Iq
-----END PGP SIGNATURE-----

--Sig_/8xpCaqo.Lkksfi_6zjPrRo0--