80bd7289ee
PR: 84859 Submitted by: Timothy Bourke <timbob@bigpond.com>
23 lines
1.1 KiB
Bash
23 lines
1.1 KiB
Bash
#!/bin/sh
|
|
|
|
if [ "$2" = "POST-INSTALL" ]; then
|
|
if test `ulimit -Hd` -lt 917504; then
|
|
cat <<END
|
|
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
! The system process data segment value is too low! !
|
|
! !
|
|
! Under these circumstances Isabelle may not function reliably, or !
|
|
! may fail completely. !
|
|
! !
|
|
! The setting may be viewed and modified with the commands: !
|
|
! sh: ulimit -Hd !
|
|
! csh: limit -h datasize !
|
|
! !
|
|
! It may be necessary to lift the maximum limit. One way of doing !
|
|
! this is to add a line to /boot/loader.conf and then to restart the !
|
|
! system: !
|
|
! kern.maxdsiz="896M" !
|
|
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
END
|
|
fi
|
|
fi
|