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.11.10.30.13;	author miwi;	state dead;
branches;
next	1.1;

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


desc
@@


1.2
log
@- Remove patchset (forget in last commit)

Submitted by: pointyhat and maintainer
@
text
@--- configure.orig	Mon Sep 30 19:25:39 2002
+++ configure	Sun Jun 12 11:57:31 2005
@@@@ -12,8 +12,8 @@@@
 INCLUDES=""
 LIBS=""
 OBJS=""
-INSTALLDIR="/usr/bin"
-DEFAULT_POLYPATH=.:/usr/lib/poly:/usr/local/lib/poly
+INSTALLDIR=$1/lib/polyml
+DEFAULT_POLYPATH=.:$1/lib/polyml
 
 # Basic operating system.  Use this to find the other parameters.
 OS=`uname`
@


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
@@

