===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.64
retrieving revision 1.71
diff -u -p -r1.64 -r1.71
--- OpenXM/src/Makefile	2000/01/19 03:03:34	1.64
+++ OpenXM/src/Makefile	2000/01/24 11:01:13	1.71
@@ -1,8 +1,10 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.63 2000/01/19 01:15:45 noro Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.70 2000/01/21 09:38:36 takayama Exp $
 
 OPENXM_CONTRIB=../../OpenXM_contrib
 LIBDIR=../lib
 BINDIR=../bin
+RCDIR=../rc
+COPYRIGHTDIR=../Copyright
 
 all: configure all-asir all-gnuplot all-k097 all-kan96xx all-kxx \
      all-pari all-phc all-openmath all-oxmath all-tigers
@@ -47,6 +49,11 @@ all-phc:
 all-tigers:
 	(cd tigers ; make all)
 
+all-misc :
+	(cd ../rc ; make repl)
+	(cd ../doc ; make all-install)
+	(cd ../doc ; make all-spec)
+
 install: install-asir install-gnuplot install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
 	 install-phc install-tigers install-asir-doc install-asir-contrib
@@ -67,9 +74,23 @@ install-kxx: all-kxx
 	(cd kxx ; make install)
 
 install-openmath: all-openmath
-	(cd OpenMath ; make install)
+	@if ../misc/which.pl -s javac ; then \
+		(cd OpenMath ; make install) ; \
+	else \
+		echo -n "Warning: javac (java compiler) is not found " ; \
+		echo "in your search path. OpenMath will not be installed." ; \
+	fi
 
+
 install-oxmath: all-oxmath
+	@if test -d /usr/local/mathematica ; then \
+		(cd ox_math ; make install) ; \
+	else \
+		echo -n "Warning: Mathematica is not found. " ; \
+		echo "ox_math will not be installed." ; \
+	fi
+	-(cd ox_math/documents ; make install)
+	-(cd ox_math/lib ; make install)
 
 install-pari: all-pari
 	(cd pari ; make install)
@@ -113,7 +134,7 @@ distclean: clean
 	       $(BINDIR)/oxlog $(BINDIR)/oxweave $(BINDIR)/sm1 \
 	       $(LIBDIR)/k097 $(LIBDIR)/sm1 SSkan bin gc gmp
 
-configure: configure-links configure-gmp configure-bin configure-asir \
+configure: configure-links configure-bin configure-asir \
 	   configure-gnuplot \
 	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
 	   configure-pari
@@ -150,5 +171,10 @@ configure-oxmath:
 configure-pari:
 	(cd pari ; make configure)
 
-configure-gmp:
-	(cd $(OPENXM_CONTRIB)/gmp ; rm -f .gmp_configured)
+clean-rc :
+	(cd $(RCDIR) ; make clean )
+all-Copyright :
+	(cd $(COPYRIGHTDIR) ; make copy-copyright )
+
+dist : all-Copyright clean-rc all install all-misc
+