===================================================================
RCS file: /home/cvs/OpenXM/src/pari/Makefile,v
retrieving revision 1.2
retrieving revision 1.7
diff -u -p -r1.2 -r1.7
--- OpenXM/src/pari/Makefile	2000/01/08 17:56:58	1.2
+++ OpenXM/src/pari/Makefile	2000/01/08 20:31:47	1.7
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/pari/Makefile,v 1.1 2000/01/08 17:17:50 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,16 +11,16 @@ 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 \
 		(cd $(PARI) ; make clean) \
 	fi
-	@rm -f ./.make_done ./.configure_done ./.install_done
+	@rm -f ./.make_done ./.configure_done
+
+distclean:
+	@cat BINARIES | xargs -t rm -rf
 
 configure:
 	@if [ ! -f ./.configure_done ]; then \