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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 3248F7ED47 for ; Thu, 19 Jul 2012 18:25:07 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of joelr1@gmail.com) identity=pra; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="joelr1@gmail.com"; x-sender="joelr1@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of joelr1@gmail.com designates 209.85.160.54 as permitted sender) identity=mailfrom; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="joelr1@gmail.com"; x-sender="joelr1@gmail.com"; 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@mail-pb0-f54.google.com) identity=helo; client-ip=209.85.160.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="joelr1@gmail.com"; x-sender="postmaster@mail-pb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao4BADk0CFDRVaA2imdsb2JhbABFuTgIIgEBAQoJDRkGI4IhAQEEEgIsARseAwwGBQs7IgERAQUBHAY1h1sBAwwLn28JA4wjgnGFCwoZJw1XiHEBBQySUAOVRIETjRk+g38 X-IronPort-AV: E=Sophos;i="4.77,615,1336341600"; d="scan'208";a="151180760" Received: from mail-pb0-f54.google.com ([209.85.160.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Jul 2012 18:25:06 +0200 Received: by pbbro2 with SMTP id ro2so5841698pbb.27 for ; Thu, 19 Jul 2012 09:25:04 -0700 (PDT) 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 :content-type; bh=ssTLIEzuUnp61aJbpqLmBd1ucc/X7Xdu5zKE0xsaV4w=; b=VoNKwmDWXS1xjuMli5w/oOTeEgQ/y2KT+Us/DS+YuC4aCr9iTLqo+5uMeb8B/F0/i8 wkenqA5ZsMxxlmCJNvyfZINChiTtR8pJd2zxb1Ypfs5RmIfhqz4AxCX5MADXCcCzkPBZ GAZOddlYxPyIoAzQVZBEcH/ZaK64y3gSSFylBCV3ufAkTPLGUvVjU3M1foKcKxeH8jF1 htHLvJB8rQZOaUG9zI1ilbX51eQlf8RLecRuxvWOJwDBv+RmgGmyDAqOm0fsu7RmU4/A R5vorsWzw3KiBoN+ZmGOjsJDHi/UXVqNPAuh5eBgb1nYVaPUQ4EsITaH/bFovvwXvWqZ iAPw== MIME-Version: 1.0 Received: by 10.68.209.197 with SMTP id mo5mr6447681pbc.72.1342715104644; Thu, 19 Jul 2012 09:25:04 -0700 (PDT) Received: by 10.68.224.129 with HTTP; Thu, 19 Jul 2012 09:25:04 -0700 (PDT) In-Reply-To: References: Date: Thu, 19 Jul 2012 17:25:04 +0100 Message-ID: From: Joel Reymont To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Re: segmentation fault in ocamlc.opt on mountain lion Forgot to mention... This is trying to compile ocaml from svn. Setting OCAMLRUNPARAM to empty instead of 'b' makes the issue go away when compiling OCaml so I actually manage to build this: OCaml version 4.01.0+dev1_2012-03-31 Still, ocamlc.opt segfaults while trying to compile oasis. -------------------------------------------------------------------------- - for hire: mac osx device driver ninja, kernel extensions and usb drivers ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------