lang/polyml/files/patch-driver-configure


1
2
3
4
5
6
7
8
9
10
11
12
13

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