===================================================================
RCS file: /home/cvs/OpenXM/src/pari/Makefile,v
retrieving revision 1.3
retrieving revision 1.7
diff -u -p -r1.3 -r1.7
--- OpenXM/src/pari/Makefile	2000/01/08 18:25:36	1.3
+++ OpenXM/src/pari/Makefile	2000/01/08 20:31:47	1.7
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/pari/Makefile,v 1.2 2000/01/08 17:56:58 maekawa Exp $
+# $OpenXM: OpenXM/src/pari/Makefile,v 1.6 2000/01/08 19:10:25 maekawa Exp $
 
 PARI = ../../../OpenXM_contrib/pari
 CURDIR = ../../OpenXM/src/pari
@@ -11,10 +11,7 @@ all: configure
 	@touch ./.make_done
 
 install: all
-	@if [ ! -f ./.install_done ]; then \
-		(cd $(PARI) ; make install install-lib-sta) \
-	fi
-	@touch ./.install_done
+	(cd $(PARI) ; make install install-lib-sta)
 
 clean:
 	@if [ -f ./.make_done ]; then \
@@ -23,10 +20,7 @@ clean:
 	@rm -f ./.make_done ./.configure_done
 
 distclean:
-	rm -rf ../lib/libpari.* ../lib/pari
-	rm -rf ../include/pari
-	rm -rf ../bin/gp ../bin/gp-2.0
-	@rm -f ./.install_done
+	@cat BINARIES | xargs -t rm -rf
 
 configure:
 	@if [ ! -f ./.configure_done ]; then \