[pvs startup] Unable to locate enough free space...

[Frank Busse <fb647934@mail.inf.tu-dresden.de>]

Hi,

I try to install pvs, but after startup I get the following error message
(here for 3.1 - other versions show same behaviour):

--

pvs BUFFER:
rec:{couldn't open process map file
Unable to locate enough free space to restore C heap
Could not restore the image file:
    [snip]/bin/ix86-redhat5/runtime/pvs-allegro6.dxl.
}

*Backtrace* BUFFER:
Signaling: (error "Buffer *pvs* has no process")
  process-status(nil)
  pvs()
  load-internal("pvs-load" nil nil nil nil nil)
  load("pvs-load" nil nil nil)
  load-internal("[snip]/pvs3.1/emacs/go-pvs.el" nil t nil nil nil)
  load("[snip]/pvs3.1/emacs/go-pvs.el" nil t)
  command-line-do-load("-load")
  command-line-1()
  command-line()
  normal-top-level()

--

I use the LinuxEmu of FreeBSD 5.1 and [XEmacs 21.1 (patch 14) | GNU Emacs
21.3.1] (same error). During pvs startup there are 400MB of free memory
and 1GB unused swap space.

Thanks for any suggestions,

Frank.