head	1.2;
access;
symbols
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1
	RELEASE_6_1_0:1.1
	RELEASE_5_5_0:1.1
	RELEASE_6_0_0:1.1;
locks; strict;
comment	@# @;


1.2
date	2007.03.06.21.01.39;	author miwi;	state dead;
branches;
next	1.1;

1.1
date	2005.07.29.07.19.55;	author barner;	state Exp;
branches;
next	;


desc
@@


1.2
log
@- Update to 5.0

PR:             109951
Submitted by:   Timothy Bourke <timbob@@bigpond.com> (maintainer)
@
text
@#!/bin/sh

if [ "$2" = "POST-INSTALL" ]; then
	if test `ulimit -Hd` -lt 917504; then
		cat <<END
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
! Poly/ML memory regions (heaps, database and IO Area) are stored at !
! fixed addresses in the processes virtual memory space, for reasons !
! of speed.                                                          !
!                                                                    !
! The address space available to FreeBSD processes for heap and      !
! data storage is limited by an administrative setting:              !
!   sh:  ulimit -Hd                                                  !
!   csh: limit -h datasize                                           !
!                                                                    !
! The maximum administrative setting is limited in turn by a kernel  !
! parameter: maxdsiz. If the maximum datasize is too low, the        !
! dynamic linker will load libraries into the memory regions used    !
! by Poly/ML -- this may cause problems, including non-termination   !
! when committing large databases.                                   !
!                                                                    !
! One fix is to add the following line to /boot/loader.conf before   !
! restarting:                                                        !
!    kern.maxdsiz="896M"                                             !
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
! In order to be able to commit changes to Poly/ML's database, each  !
! user needs to have her/his own writable copy.                      !
!                                                                    !
! Please login with the user you plan to use Poly/ML with and run    !
! "make install-user" from ports/lang/polyml.                        !
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
END
	fi
fi
@


1.1
log
@Add polyml 4.1.3, a fast open-source implementation of Standard ML.

PR:		83433
Submitted by:	Timothy Bourke <timbob@@bigpond.com>
@
text
@@

