===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.7
retrieving revision 1.104
diff -u -p -r1.7 -r1.104
--- OpenXM/src/Makefile	1999/11/02 12:33:56	1.7
+++ OpenXM/src/Makefile	2000/12/21 09:25:23	1.104
@@ -1,52 +1,333 @@
-## Type in make configure and make all to build all
-## $OpenXM: OpenXM/src/Makefile,v 1.6 1999/11/02 09:17:08 takayama Exp $
-all : all1 all2 all3
+## $OpenXM: OpenXM/src/Makefile,v 1.103 2000/12/21 09:13:05 takayama Exp $
 
-all1 :
-	(cd kan96xx ; make all )
-	(cd kan96xx ; make install-openXM-bin)
+OpenXM_HOME=../../OpenXM
+OPENXM_CONTRIB=../../OpenXM_contrib
+OPENXM_CONTRIB2=../../OpenXM_contrib2
+LIBDIR=../lib
+BINDIR=../bin
+RCDIR=../rc
+COPYRIGHTDIR=../Copyright
+
+all: configure all-gc all-gmp all-asir all-gnuplot all-k097 all-kan96xx \
+     all-kxx all-pari all-phc all-openmath all-oxmath all-tigers 
+
+all-gc: 
+	@if test ! -f gc/.gc_make_done ; \
+	then \
+		(cd gc ; make all) ; \
+	fi 
+	@touch gc/.gc_make_done
+
+all-gmp: configure-gmp
+	(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; 
+
+all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx
+	(cd ox_toolkit; make)
+
+all-oxc: configure-oxc install-oxtoolkit
+	(cd oxc; make)
+
+all-asir: configure-asir
+	@if test -d $(OPENXM_CONTRIB2) ; then \
+		(cd asir2000 ; make all) ; \
+	else \
+		echo -n "Warning: Asir source is not found. " ; \
+		echo "asir will not be compiled." ; \
+	fi
+
+all-gnuplot: configure-gnuplot
+	-(cd gnuplot ; make all)
+
+all-k097: configure-k097 all-kan96xx
+	(cd k097 ; make all)
+
+all-kan96xx: configure-kan96xx install-gc install-gmp
+	(cd kan96xx ; make all)
+
+all-kxx: configure-kxx all-kan96xx
 	(cd kxx ; make all)
+
+all-openmath:
+	@if ../misc/which.pl -s javac ; then \
+		(cd OpenMath ; make all) ; \
+	else \
+		echo -n "Warning: javac (java compiler) is not found " ; \
+		echo "in your search path. OpenMath will not be compiled." ; \
+	fi
+
+all-oxmath: configure-oxmath install-oxtoolkit
+	-@if test -x /usr/local/bin/math ; then \
+		(cd ox_math ; make) ; \
+	else \
+		echo -n "Warning: Mathematica is not found. " ; \
+		echo "ox_math will not be compiled." ; \
+	fi
+
+all-pari: configure-pari
+	(cd pari ; make all)
+
+all-phc:
+	(cd phc ; make all)
+
+all-tigers:
+	(cd tigers ; make all)
+
+
+all-misc :
+	(cd ../rc ; make repl)
+	(cd ../doc ; make all-install)
+	(cd ../doc ; make all-spec)
+
+all-rc:
+	(cd ../rc ; make )
+
+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 \
+	 install-misc
+
+
+install-gc : all-gc
+	-@if test ! -f gc/.gc_installed ; \
+	then \
+		mkdir ../lib ; \
+		cp gc/gc.a ../lib/libgc.a ; \
+	fi 
+	@touch gc/.gc_installed
+
+
+install-gmp : all-gmp
+	-@if test ! -f gmp/.gmp_installed ; \
+	then \
+		(cd gmp; make install) ; \
+	fi 
+	@touch gmp/.gmp_installed
+
+install-asir: all-asir
+	@if test -d $(OPENXM_CONTRIB2) ; then \
+		(cd asir2000 ; make install) ; \
+	else \
+		echo -n "Warning: Asir source is not found. " ; \
+		echo "asir will not be installed." ; \
+	fi
+
+install-gnuplot: all-gnuplot
+	-(cd gnuplot ; make install)
+
+install-k097: all-k097
+	(cd k097 ; make install)
+
+install-kan96xx: all-kan96xx
+	(cd kan96xx ; make install)
+
+install-kxx: all-kxx
 	(cd kxx ; make install)
-all2 :
-	(cd gnuplot-diff ; make all)
-	(cd Ti ; make all )
-	(cd phc ; make all )
-all3 :
-	(cd k097 ; make all ; cp k0 ../../bin)
-all4 :
-	(cd JavaSupport ; make )
-	   
 
-clean :
-	/bin/rm -rf ../*~  *~
-	(cd kan96xx ; make cleana )
-	(cd kxx ; make clean)
-	(cd Ti ; make clean)
-	/bin/rm -rf kan96.tgz kxx.tgz *~ ../*~
-	/bin/rm -rf k097.tgz
-#	(cd kan96xx ; make clean-binary )
-#	(cd kxx ; make clean-binary )
-	(cd gnuplot-diff ; make clean )
-	/bin/rm -rf ../bin/tigers
-	(cd phc ; make clean )
-	(cd k097 ; make clean ; /bin/rm -rf ../../bin/k0)
-	/bin/rm -rf bin/sm1 bin/ox bin/oxlog bin/ox_sm1 bin/phc6
+install-openmath: all-openmath
+	@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
 
-configure :
-	ln -f -s ../bin bin
-	ln -f -s ./kan96xx SSkan
-	ln -f -s ./kan96xx/gmp gmp
-	ln -f -s ./kan96xx/gc gc
-	(cd ../lib ; ln -f -s ../src/k097 k097 ; ln -f -s ../src/kan96xx/Doc sm1)
-	(cd ../bin ; ./configure2 )
-	(cd kan96xx ; make configure )
-	(cd kxx ; ln -f -s  ../SSkan/plugin/ox_kan.h ox_kan.h)
-	(cd ../lib/asir ; ./configure2 )
+install-oxtoolkit: all-oxtoolkit
+	(cd ox_toolkit; make install)
 
-install-usr-local : 
-	ln -sf `pwd`/SSkan/Doc    /usr/local/lib/sm1
-	ln -sf `pwd`/../lib/asir  /usr/local/lib/asir
-	ln -sf `pwd`/../bin/sm1  /usr/local/bin/sm1
-	ln -sf `pwd`/../bin/fep  /usr/local/bin/fep
+install-oxc: all-oxc
+	(cd oxc; make install)
 
+install-oxmath: all-oxmath install-kxx
+	-@if test -x /usr/local/bin/math ; 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)
+
+install-phc: all-phc
+	(cd phc ; make install)
+
+install-tigers: all-tigers
+	(cd tigers ; make install)
+
+install-asir-contrib: install-asir install-kxx
+	(cd asir-contrib ; make install)
+
+install-asir-doc: install-asir
+	(cd asir-doc ; make install)
+
+install-misc:
+	(cd ../rc ; make install.man)
+
+install-rc: all-rc
+	(cd ../rc ; make install)
+
+clean:
+	-rm ./.configure-links-done
+	-rm $(OPENXM_CONTRIB)/gmp/.gmp_*
+	-rm $(OPENXM_CONTRIB)/gc/.gc_*
+	-(cd $(OPENXM_CONTRIB)/gmp ; make clean)
+	(cd $(OPENXM_CONTRIB)/gc ; make clean ; /bin/rm -f *.a)
+	(cd asir2000 ; make clean)
+	(cd gnuplot ; make clean)
+	(cd k097 ; make clean)
+	(cd kan96xx ; make clean)
+	-(cd kxx ; make clean)
+	(cd OpenMath ; make clean)
+	-(cd ox_math ; make clean)
+	(cd pari ; make clean)
+	(cd phc ; make clean)
+	(cd tigers ; make clean)
+	(cd asir-doc ; make clean)
+	(cd asir-contrib ; make clean)
+
+distclean: clean
+	(cd $(BINDIR) ; make distclean)
+	-(cd $(OPENXM_CONTRIB)/gmp ; make distclean)
+	(cd $(OPENXM_CONTRIB)/gc ; make clean ; /bin/rm -f *.a)
+	(cd asir2000 ; make distclean)
+	(cd gnuplot ; make distclean)
+	(cd kan96xx ; make distclean)
+	-(cd kxx ; make distclean)
+	(cd OpenMath ; make distclean)
+	(cd pari ; make distclean)
+	(cd phc ; make distclean)
+	(cd tigers ; make distclean)
+	-(cd ox_toolkit ; make distclean)
+	-(cd ox_math ; make distclean)
+	rm -rf $(BINDIR)/d0 $(BINDIR)/k0 $(BINDIR)/ox $(BINDIR)/ox_sm1 \
+	       $(BINDIR)/oxlog $(BINDIR)/oxweave $(BINDIR)/sm1 \
+	       $(LIBDIR)/k097 $(LIBDIR)/sm1 SSkan bin gc gmp
+
+configure: configure-links configure-include configure-bin configure-asir \
+	   configure-gnuplot \
+	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
+	   configure-pari configure-gmp
+
+configure-include: configure-include-make-dir ../include/ox/cmotag.h ../include/ox/oxMessageTag.h ../include/ox/smCommand.h
+
+configure-include-make-dir:
+	@if test ! -d ../include ; \
+	then \
+	mkdir  ../include ; \
+	fi
+	@if test ! -d ../include/ox ; \
+	then \
+	mkdir  ../include/ox ; \
+	fi
+../include/ox/cmotag.h : ../doc/OpenXM-web/cmotag.h 
+	cp ../doc/OpenXM-web/cmotag.h ../include/ox 
+../include/ox/oxMessageTag.h : ../doc/OpenXM-web/oxMessageTag.h
+	cp ../doc/OpenXM-web/oxMessageTag.h ../include/ox 
+../include/ox/smCommand.h : ../doc/OpenXM-web/smCommand.h
+	cp ../doc/OpenXM-web/smCommand.h ../include/ox 
+
+configure-gmp: configure-links
+	@if test -f gmp/.gmp_configured ; \
+	then \
+	  echo "MESSAGE: gmp is already configured. (.gmp_configured) " ;  \
+	else \
+	  (cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \
+	fi 
+
+configure-asir:
+	@if test -d $(OPENXM_CONTRIB2) ; then \
+		(cd asir2000 ; make configure) ; \
+	else \
+		echo -n "Warning: Asir source is not found. " ; \
+		echo "asir will not be compiled." ; \
+	fi
+
+configure-bin:
+	(cd $(BINDIR) ; make configure)
+
+configure-gnuplot:
+	-(cd gnuplot ; make configure)
+
+configure-k097: configure-links
+
+configure-kan96xx: configure-links
+	(cd kan96xx ; make configure)
+
+configure-kxx: 
+	( cd kxx ; ./make-configure) 
+
+configure-links:
+	-@if [ ! -f ./.configure-links-done ] ; then \
+	rm -f -r $(LIBDIR)/k097 $(LIBDIR)/sm1 SSkan bin gc gmp ; \
+	(cd $(LIBDIR) ; ln -f -s ../src/k097 k097) ; \
+	(cd $(LIBDIR) ; ln -f -s ../src/kan96xx/Doc sm1) ; \
+	ln -f -s kan96xx SSkan ; \
+	ln -f -s $(BINDIR) bin ; \
+	ln -f -s $(OPENXM_CONTRIB)/gc gc ; \
+	ln -f -s $(OPENXM_CONTRIB)/gmp gmp ; \
+	mkdir ${OpenXM_HOME}/libexec ; \
+	touch ./.configure-links-done ;\
+	fi
+
+configure-oxtoolkit: configure-include
+	(cd ox_toolkit; ./make-configure)
+
+configure-oxc: configure-include
+	(cd oxc; ./make-configure)
+
+configure-oxmath: configure-include
+	(cd ox_math; ./make-configure)
+
+configure-pari:
+	(cd pari ; make configure)
+
+generate-source-distribution : generate-source-distribution-kxx \
+                               generate-source-distribution-ox_toolkit
+
+generate-source-distribution-kxx :
+	(cd kxx ; rm -f .configure_done Makefile )
+
+generate-source-distribution-ox_toolkit :
+	(cd ox_toolkit ; rm -f Makefile ; autoconf)
+
+clean-rc :
+	(cd $(RCDIR) ; make clean )
+all-Copyright :
+	(cd $(COPYRIGHTDIR) ; make copy-copyright )
+
+post-install-correction: install
+# I think that we no longer need post-install-correction-for-asir
+# post-install-corrections-other
+	(cd ../rc ; make install.man)
+
+post-install-correction-for-asir:
+	(cd ../bin ; rm -f asir ox_asir ) 
+	cp ../lib/asir/asir ../bin/asir
+	(cd ../bin ; ln -s ./asir ox_asir)
+	(cd ../lib/asir ; rm -f asir ; ln -s ../../bin/asir asir)
+	(cd ../lib/asir ; rm -f ox_asir ox_launch ox_plot help ; ln -s ./asir ox_asir ; ln -s ./asir ox_launch ; ln -s ./asir ox_plot ; ln -s ./help-eg help)
+
+install-all-asir-lib:
+	(cd asir2000 ; make install-lib-small)
+
+binary-dist : all-Copyright clean-rc all all-misc post-install-correction install-all-asir-lib
+
+## Targets for debugging
+install-for-debug:
+	(cd kan96xx; make install-for-debug)
+	(cd kxx; make install-for-debug)
+	(cd k097 ; make install-for-debug)
+
+
+##  Sub binary packages
+##  1: asir: asir only.   target:  all-asir install-asir
+
+##  2: k0-ox: k0 and sm1 with ox_asir.  target: all-k0-ox install-k0-ox
+configure-all-k0-ox :  configure-links configure-include  configure-asir \
+                       configure-kan96xx configure-kxx configure-k097 \
+                       configure-oxc
+all-k0-ox:  configure-all-k0-ox all-asir all-kan96xx all-kxx all-k097 all-oxc
+install-k0-ox: all-k0-ox  install-asir install-kan96xx install-kxx \
+               install-k097 install-oxc