From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oleg@okmij.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id D40C47EDE4
	for <caml-list@sympa.inria.fr>; Tue, 16 Oct 2012 09:06:21 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oleg@okmij.org) identity=pra; client-ip=66.39.3.115;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  oleg@okmij.org designates 66.39.3.115 as permitted sender)
  identity=mailfrom; client-ip=66.39.3.115;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org"; x-sender="oleg@okmij.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@www1.g3.pair.com) identity=helo;
  client-ip=66.39.3.115;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="oleg@okmij.org";
  x-sender="postmaster@www1.g3.pair.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ap4BAI4GfVBCJwNzgWdsb2JhbABFrjYBkX4BAQsHBAsHFCeDIBs0fYgJu2+OY4MhA5VqAZMd
X-IronPort-AV: E=Sophos;i="4.80,593,1344204000"; 
   d="scan'208";a="159159823"
Received: from www1.g3.pair.com ([66.39.3.115])
  by mail4-smtp-sop.national.inria.fr with SMTP; 16 Oct 2012 09:06:20 +0200
Received: (qmail 80751 invoked by uid 9370); 16 Oct 2012 07:06:18 -0000
Date: 16 Oct 2012 07:06:18 -0000
Message-ID: <20121016070618.80750.qmail@www1.g3.pair.com>
From: oleg@okmij.org
To: christophe.raffalli@univ-savoie.fr
CC: caml-list@inria.fr
X-Validation-by: oleg@okmij.org
Subject: [Caml-list] Re: ocaml 3.12.1 and delimcc


It so happened that I had to upgrade to amd64 (Intel Core 2) last
week. I have installed FreeBSD 9.0 from scratch and OCaml 3.12.1 
from ports. I have just recompiled delimcc. All tests passed,
both for byte-code and the native compiler.

I'm really not sure what the reported problem might be. I have used
the following line in delimcc's Makefile
	OCAMLINCLUDES=./ocaml-byterun-3.11
That OCAMLINCLUDES worked with 3.12.0 (and with 3.12.1, it seems). I'm
not sure if it works with 4.x though.

Could you check your Makefile? Could you check that 
	$(LIBDIR)/Makefile.config
has sane values, where
	LIBDIR := $(shell ocamlc -where)
If you have several versions of OCaml on your system, it could be that
delimcc's Makefile picks a wrong version (inconsistent with
OCAMLINCLUDES). Such an inconsistency could certainly cause a
segfault.