Searched refs:LOCALSIZE (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/
H A DEmbeddedEclipse.java283 res = NativeEclipse.setOption(IntOption.LOCALSIZE , options.getLocalSize() * options.MEGABYTE);
366 static final int LOCALSIZE = 4; field in interface:EmbeddedEclipse.IntOption
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex1770 You can use the "-l kBytes" (LOCALSIZE) option to have a larger stack.

Completed in 210 milliseconds