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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 977AD800CE for ; Sat, 18 Feb 2017 09:49:17 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out4-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@out4-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.28; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out4-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AeKaRQRZw43A0zjqQUxZr99L/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr82/bnLW6fgltlLVR4KTs6sC0LuL9fi/EjVav96oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52LBi6txndu8sZjYd/NKo8ywbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZPehWsZTzp1UAoxS8BgejCuzgxSNTi3/qwaE3yfgtHR3c0QA8Gd8FrX?= =?us-ascii?q?TarM/yNKcXSe27yrfHzTLeZPxW2Tf96ZTIfQ48qvyLWbJ/b83RxFIrFwPdgFSc?= =?us-ascii?q?t4zoMymT1usTr2iW9uxtXv+shW4/swx8ozmiyt0xhoXUm44Z0F/J+T9nzIs2Pd?= =?us-ascii?q?G1S1B3bcS6HJZerS2XM5d6Ttk/T2xovisx16cItoShfCcQzZQq3x7fZOKDc4iP?= =?us-ascii?q?+h/jU/uRISt3iX58Y7K/ggqy8VC6xu35SMa0y01KoTBKktnNsHAN2ALc6s6ISv?= =?us-ascii?q?t8+EeuxyyD2BzU6uFBOUw0lKzbJIA9wrMol5cesF7PEjLrlEnrlqObeV8o9var?= =?us-ascii?q?5uj/Z7XpvJ6cN4t6igHkNaQun9SyAeAmPQgJRGWb/fy81bP98UD5WrlKiOM5kr?= =?us-ascii?q?XBvJDAOcsbvrK5AxNS0os79xmwFTKm0NABkXkDLVJFYw6HgpPyO1DOJfD4Fe2w?= =?us-ascii?q?j06tkDdt3fDGP6fuDo/DLnjZiL3hZ6py61ZAyAovytBS/49bBa8bIP3pR0/xu9?= =?us-ascii?q?jYAQUiPg21wubnDc5y1pkEVm6VA6+ZNrnSsV6S6e41LemMftxdhDGoCPEm7vLz?= =?us-ascii?q?xSs6kFwUcbTv3ZIZYXaxGP1OLECQYH6qidAERzQkpA07GcjnjxW9UT9Paj7mW6?= =?us-ascii?q?87zjUjF9j7S4HOWtb+0/S6wC6nE8gONSh9AVeWHCKtLt3cVg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CiAQAyCahYhhwEb0JeHQYMGQYMhRGOV?= =?us-ascii?q?ahkhiICgiVDFAEBAQEBAQEBAQEBEgEBAQgLCwodL0IBBAmBYyIBghsGQDkBDws?= =?us-ascii?q?hJQ8BBEmKAgSyM4MPhU+CeAEBAQcBAQEBARsIizuEMYYInAgBkh2BYwGISoZck?= =?us-ascii?q?yI2gSE0Kgo+hEoRDIFhdYJhgTOEQYI8AQEB?= X-IPAS-Result: =?us-ascii?q?A0CiAQAyCahYhhwEb0JeHQYMGQYMhRGOVahkhiICgiVDFAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBAQgLCwodL0IBBAmBYyIBghsGQDkBDwshJQ8BBEmKAgSyM?= =?us-ascii?q?4MPhU+CeAEBAQcBAQEBARsIizuEMYYInAgBkh2BYwGISoZckyI2gSE0Kgo+hEo?= =?us-ascii?q?RDIFhdYJhgTOEQYI8AQEB?= X-IronPort-AV: E=Sophos;i="5.35,174,1484002800"; d="scan'208";a="213875004" Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Feb 2017 09:49:16 +0100 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id AD38F208E0; Sat, 18 Feb 2017 03:49:14 -0500 (EST) Received: from frontend1 ([10.202.2.160]) by compute5.internal (MEProxy); Sat, 18 Feb 2017 03:49:14 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h=cc :content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=f6dTJ4hz4BgoJihh83FCgGfY2LQ=; b=r5LstI tJ4NLqa4MO10KDYUuxFNn7cMKM9PYsZZ5towoByeUzdeguUkg8GPpgnWEe3gTAQJ 4IUO/WtAh64vsu6Uy+x39vjT78QRPIeXH576c/VAro+GZSu9wNdBpu/8ghVE3P9l PB7IQ0C6qi0rYxaa8ivQkk2WLgC4yBz74bY9g= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=smtpout; bh=f6dTJ4hz4BgoJi hh83FCgGfY2LQ=; b=odZK8xicFRQmvCvEggEF1PWYBSn3FC2S/JdySh47DBvj42 SyQklRlbSRpAHuM8AP41+633Wa/ebdVpWktLIV2mVOX+TbN5j8amJkmA39/wC1Ua dF3xD4nh791b7kWZSkAQTBuHxsw4SZePSrBCgXvLZ2Xzoqb+WynoO2rhtBnMM= X-ME-Sender: X-Sasl-enc: khU1N5PMZZqPozfZM38cBfSp0ExWq6P2YofF42+TUcHv 1487407754 Received: from lpw25-XPS-13-9350 (cpc99044-walt22-2-0-cust526.13-2.cable.virginm.net [82.23.90.15]) by mail.messagingengine.com (Postfix) with ESMTPA id 043E27E1DE; Sat, 18 Feb 2017 03:49:13 -0500 (EST) From: Leo White To: Kakadu Cc: Gabriel Scherer , Caml List , Daniel de Rauglaudre References: <20170218015321.GA22237@yquem.inria.fr> X-Face: "XWxb[u_Z\PA_Y?9@|IA!!+jTb(/290-*ea/Un$I0B98.$n%eL.;2w*,z]WR#T:,p[ NBd++M7l]#7zj7!{~iw $W-"/=|dVjhT[D{4~gE}gK<2`.6fs!;uqqud]vs2N/3^m7{aS1V, Date: Sat, 18 Feb 2017 08:49:12 +0000 In-Reply-To: (Kakadu's message of "Sat, 18 Feb 2017 10:39:43 +0300") Message-ID: <86d1efopdj.fsf@lpw25.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] OCaml+spacetime crashes during camlp5 compilation >> >> I got a crash during compilation of camlp5. Is it expected to be easy >> fixable? Or something terrible? >> As Gabriel said, it is probably just camlp5 being expensive to compile and spacetime tipping it over the edge. Have you tried increasing the stack size limit? Regards, Leo