diff options
Diffstat (limited to 'games')
-rw-r--r-- | games/crafty/Makefile | 4 | ||||
-rw-r--r-- | games/crafty/files/patch-aa | 11 | ||||
-rw-r--r-- | games/crafty/pkg-plist | 2 |
3 files changed, 13 insertions, 4 deletions
diff --git a/games/crafty/Makefile b/games/crafty/Makefile index dc7437a1cf94..4cff39574952 100644 --- a/games/crafty/Makefile +++ b/games/crafty/Makefile @@ -3,7 +3,7 @@ # Date created: 31 May 1998 # Whom: Stefan Eggers <seggers@semyam.dinoco.de> # -# $Id: Makefile,v 1.12 1999/05/30 21:13:45 mph Exp $ +# $Id: Makefile,v 1.13 1999/06/18 19:50:58 mph Exp $ # DISTNAME= crafty-16.10 @@ -27,7 +27,7 @@ MAN6= crafty.6 NO_WRKSUBDIR= yes post-extract: - (cd ${WRKDIR}; gunzip <${DISTDIR}/${DIST_SUBDIR}/start.zip >${WRKDIR}/start.pgn) + (cd ${WRKDIR}; ${GUNZIP_CMD} <${DISTDIR}/${DIST_SUBDIR}/start.zip >${WRKDIR}/start.pgn) post-build: (cd ${WRKDIR}; ./crafty <${FILESDIR}/books-building) diff --git a/games/crafty/files/patch-aa b/games/crafty/files/patch-aa index 5954015d93ee..1d1df7c40274 100644 --- a/games/crafty/files/patch-aa +++ b/games/crafty/files/patch-aa @@ -1,5 +1,5 @@ --- Makefile.orig Tue May 18 07:23:36 1999 -+++ Makefile Sun May 30 13:22:47 1999 ++++ Makefile Sat Jun 19 10:54:51 1999 @@ -69,13 +69,13 @@ # -DUSE_ASSEMBLY_A -DUSE_ASSEMBLY_B # asm = X86.o @@ -58,3 +58,12 @@ objects = searchr.o search.o thread.o searchmp.o repeat.o next.o nexte.o \ nextr.o history.o quiesce.o evaluate.o movgen.o make.o unmake.o \ +@@ -189,7 +192,7 @@ + + egtb.o: egtb.cpp + @echo $(CC) -c $(CFLAGS) egtb.cpp +- @$(CC) -c -pipe -D_REENTRANT -mpentium -O $(opts) egtb.cpp ++ @$(CC) -c -pipe -D_REENTRANT -O $(opts) egtb.cpp + clean: + -rm -f *.o crafty X86-elf.X X86-aout.S + diff --git a/games/crafty/pkg-plist b/games/crafty/pkg-plist index b82881a77ffa..9fad6f8cd495 100644 --- a/games/crafty/pkg-plist +++ b/games/crafty/pkg-plist @@ -1,7 +1,7 @@ bin/crafty lib/crafty/books.bin -@dirrm lib/crafty share/doc/crafty/crafty.doc share/doc/crafty/crafty.faq share/doc/crafty/read.me @dirrm share/doc/crafty +@dirrm lib/crafty |