--- makefile.orig	Tue May 14 11:44:07 2002
+++ makefile	Tue May 14 11:46:54 2002
@@ -6,7 +6,7 @@
 # view docs/index.html with any Web browser.
 
 
-INSTALL_DIR = /usr/local
+INSTALL_DIR = %%PREFIX%%
 
 
 # Changes for other systems:
@@ -28,7 +28,7 @@
 # If you do not have M_PI or PI and need pi with more than 16 digits
 # define it -DPI=3.1415... (not necessary for 8 byte doubles)
 
-CC=gcc -Wall -O2 -DINSTALL_DIR=\"$(INSTALL_DIR)\"
+CC+=${CFLAGS} -DINSTALL_DIR=\"$(INSTALL_DIR)\"
 
 
 # This is for printing the DOC on your local printer
