---
layout: fc_discuss_archives
title: Message 47 from Frama-C-discuss on February 2014
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] ocaml cannot allocate memory
- Subject: [Frama-c-discuss] ocaml cannot allocate memory
- From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
- Date: Tue, 25 Feb 2014 13:21:05 -0500
- In-reply-to: <B517F47C2F6D914AA8121201F9EBEE6701C7660449AD@Mail1.FCMD.local>
- References: <B517F47C2F6D914AA8121201F9EBEE6701C7660449A7@Mail1.FCMD.local> <52E0C26F.2000605@linux-france.org> <20140123082550.GA7256@opentech.at> <CAOH62JhyfqOmKmw5iKjx1CSifK2X6ajxZBxd--h4_nK-3OxmrA@mail.gmail.com> <52E0D85C.3060504@cea.fr> <CAOH62Jj=TOozP8yxRV7-ECSUknpVhe6_eeMwPuQGOJTYJD+5fg@mail.gmail.com> <B517F47C2F6D914AA8121201F9EBEE6701C7660449A8@Mail1.FCMD.local> <0B8A5A42-5BB3-4C9C-99A6-A07AC39A84AB@cea.fr> <B517F47C2F6D914AA8121201F9EBEE6701C7660449A9@Mail1.FCMD.local> <20140125190009.351e083d@gavalla> <B517F47C2F6D914AA8121201F9EBEE6701C7660449AC@Mail1.FCMD.local>, <CAOH62JgQWFnHP0tW8H-ti7JYj48qRJzM-jJ0AqBNOAATSDYFvA@mail.gmail.com>, <B517F47C2F6D914AA8121201F9EBEE6701C7660449AD@Mail1.FCMD.local>
Hi,
I'm compiling ocaml 4.00.1 for Frama-c.
I got this error:
Error: I/O error: as -o 'camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.o' '/tmp/camlasm3a161d.s': Cannot allocate memory
This was on 32 bit Linux (Ubuntu).
Any comments?
Thanks a lot.
Dharma