--- Makefile.orig      Thu Aug 24 23:40:44 2000
+++ Makefile   Mon Aug 28 14:26:05 2000
@@ -5,6 +5,6 @@
 # For gcc, ``-O2'' works well.
 
 sim4:
-	cc -o sim4 -I. -O *.c -lm
+	${CC} -o sim4 -I. ${CFLAGS} *.c -lm
 clean:
 	rm -f sim4 *.o
