k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] How to set Memory size

From: Radu Mereuta <headness13 AT gmail.com>
To: wang_feng_bro AT 163.com
Cc: k-user AT lists.cs.illinois.edu
Subject: Re: [[K-user] ] How to set Memory size
Date: Wed, 18 Jul 2018 00:55:15 +0300
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=headness13 AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Have a look here: <k>\k-distribution\target\release\k\lib\k

You can find the typical JVM starting options.

On Sat, Jul 14, 2018 at 4:39 PM, <wang_feng_bro AT 163.com> wrote:

Hi all,

Recently, when kompiling my code, it always gives me the message that "Internal: Uncaught exception thrown of type OutOfMemoryError”. How to set the running memory size for the kompile command ? What is the default value ?

Jerry

[[K-user] ] How to set Memory size, wang_feng_bro, 07/14/2018
- Re: [[K-user] ] How to set Memory size, Radu Mereuta, 07/17/2018