--- Local.config.orig Thu Apr 18 17:45:52 2002 +++ Local.config Thu Apr 18 17:46:18 2002 @@ -36,12 +36,10 @@ #define LocalGuru xpilot@xpilot.org /* The one to contact for problems */ #endif /* LocalGuru */ -PREFIX = /usr/local - /* Manual pages for games usually go to section 6. */ MANSUFFIX = 6 INSTMANDIR = $(PREFIX)/man/man$(MANSUFFIX) -INSTLIBDIR = $(PREFIX)/lib/xpilot +INSTLIBDIR = $(PREFIX)/share/xpilot INSTBINDIR = $(PREFIX)/bin /* #define Log /* Try to log every server start to log file */ @@ -105,7 +103,7 @@ * Try not defining anything first. You probably want -O for speed. */ /* CDEBUGFLAGS = -g /* General debug flag */ -CDEBUGFLAGS = -O /* General optimize flag */ +/* CDEBUGFLAGS = -O /* General optimize flag */ /* CDEBUGFLAGS = -Ae +O3 +FPD /* HP cc optimize flags (no +ESlit) */ /* CDEBUGFLAGS = -Ae -g -z +w1 /* HP cc debug flags */ /* CDEBUGFLAGS = -g2 -O2 /* SGI debug */