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 4D9AC7F98F for ; Thu, 10 Aug 2017 14:46:31 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.215.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.215.47 as permitted sender) identity=mailfrom; client-ip=209.85.215.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@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-lf0-f47.google.com) identity=helo; client-ip=209.85.215.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-lf0-f47.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AcuUR/hyHkPhh0RnXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uISIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSi55DsWUgjkOBBu?= =?us-ascii?q?brD+E4vWysC2zPya+pvJYgwOiiDrMp1oKxDjjgjXsMQKgcNLJq80gj7Ipn9FYa?= =?us-ascii?q?wCxm5uI1+Pnx/w78K1/Zpn/j54tPco9soGWqL/KfdrBYdEBSgrZjhmrPbgsgPO?= =?us-ascii?q?GFOC?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMBACgVIxZhi/XVdFCGh0BBQELAYN/A?= =?us-ascii?q?T6BFAeFJVCYG4FukGKHRSyDPIFfAoR+B0MUAQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjMigjoKAQICASMdARseAwELBgUDAQc3AgIhAQERAQUBHAYTihYBAw0IEDKgK?= =?us-ascii?q?D+MCoIEBQEcgwkFg18KGScNVoNPAQEBAQEFAQEBAQEbAgEFEoMWggKGVoJXT4F?= =?us-ascii?q?6gmaCYQEEn2E8h1OHcYR0klKML4gXFB+BFTaBKzIhJHiERCofgg8kNgGKIwEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0AMBACgVIxZhi/XVdFCGh0BBQELAYN/AT6BFAeFJVCYG4F?= =?us-ascii?q?ukGKHRSyDPIFfAoR+B0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigjoKAQICA?= =?us-ascii?q?SMdARseAwELBgUDAQc3AgIhAQERAQUBHAYTihYBAw0IEDKgKD+MCoIEBQEcgwk?= =?us-ascii?q?Fg18KGScNVoNPAQEBAQEFAQEBAQEbAgEFEoMWggKGVoJXT4F6gmaCYQEEn2E8h?= =?us-ascii?q?1OHcYR0klKML4gXFB+BFTaBKzIhJHiERCofgg8kNgGKIwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,353,1498514400"; d="scan'208,217";a="286681180" Received: from mail-lf0-f47.google.com ([209.85.215.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Aug 2017 14:46:30 +0200 Received: by mail-lf0-f47.google.com with SMTP id y15so2881213lfd.5 for ; Thu, 10 Aug 2017 05:46:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=xLdfjwX4zde6+UohsuM6m3ToBwCxsdDE7W/slyo2kuA=; b=XU1v3/ZOcd+bwCdTdQ3Esh/gIXAIDQBHrq+Oa7AVexuOOydRlonv24WFWvHuQN4IU4 IiuJaZ8Rievxc8wZgeUlpLHAIBo6Tu3Bs2g+2u/S76v037vzZ951ua1kfZFMsh3KxJEE 7m5SxbHZXShcCAKcZUprej0qONrpD2GqI9mUUACZ7MwR6Ecl4e0zwbh1R+BoApcLtS97 xO0SlPuYGngqgDPw2/4a9vn94kYi1TQrhtjsj0XHWS37kKrSlatVZvf2gx67o2pWuQfF CGuVfnprvIbW0r70SV39+IQSkbxZwGwYJrRFlrOphhzgnOBFY7VEeuC6E2ztG5cfyJH8 oAwg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=xLdfjwX4zde6+UohsuM6m3ToBwCxsdDE7W/slyo2kuA=; b=PvDRyGAwEFPzh8fqMTy4kThPB5vVJZiF83CCJ57lh/CCmxnzQRoehHqJ6me/raPeVP 1NhOaNKIpXS+2GEjU+Sxp+FIrwBme4sp/U7sBDr5d4CLsI6T08EeBVywpooNPtmpfkMm q/XnzmgvXI1Vfnhdgy0O1lbSWOtqfaxYLKcS0NB2er51Jsm9UvzaNy7ML+JKYMBH1NCH C2RpmAztfBTWd4JU0EFBV0n+4oSEsMPiAdcfd+OILIjtEmY8NOuxRqeessMffum/K1Ul Uewkdkt3OXHOSqlN3XvGeX1z8TgTYr8vf4ms/eEyZKROtWGQoO1lTKV8JzI3qNuyCgwL Hxdw== X-Gm-Message-State: AHYfb5gIvinJr4QnqgPxqJ8d0gpuX6oOpSzimdSaKtb+V2P7Rc1lZRTg 10N/zXD7sQ/eQe3jOVwhyhEqq9szbwqGldo= X-Received: by 10.46.80.20 with SMTP id e20mr3976346ljb.71.1502369189399; Thu, 10 Aug 2017 05:46:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.81.18 with HTTP; Thu, 10 Aug 2017 05:46:28 -0700 (PDT) In-Reply-To: References: From: Kenneth Adam Miller Date: Thu, 10 Aug 2017 08:46:28 -0400 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="f403045fb74adb15870556659599" Subject: Re: [Caml-list] Camlp4 install OEM --f403045fb74adb15870556659599 Content-Type: text/plain; charset="UTF-8" Apologies, someone just pointed this out to me: https://caml.inria.fr/mantis/view.php?id=7435 On Thu, Aug 10, 2017 at 8:43 AM, Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > I can't install camlp4 because I repeatedly run out of memory. I'm on a > machine with 12 gigs of memory. I thought that I had had it installed > earlier with my setup, but I'm also on switch 4.04.0+spacetime. I watched > it run out of memory on the system monitor and at the process level, and I > get I/O error out of memory. > > What could I do besides add more ram to get this to run to completion? > --f403045fb74adb15870556659599 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Apologies, someone just pointed this out to me:

https://caml.inria= .fr/mantis/view.php?id=3D7435

<= div class=3D"gmail_quote">On Thu, Aug 10, 2017 at 8:43 AM, Kenneth Adam Mil= ler <kennethadammiller@gmail.com> wrote:
I can't install camlp4 becaus= e I repeatedly run out of memory. I'm on a machine with 12 gigs of memo= ry. I thought that I had had it installed earlier with my setup, but I'= m also on switch 4.04.0+spacetime. I watched it run out of memory on the sy= stem monitor and at the process level, and I get I/O error out of memory.
What could I do besides add more ram to get this to run to completion= ?

--f403045fb74adb15870556659599--