=================================================================== RCS file: /home/cvs/OpenXM/src/Makefile,v retrieving revision 1.1 retrieving revision 1.8 diff -u -p -r1.1 -r1.8 --- OpenXM/src/Makefile 1999/10/08 02:12:01 1.1 +++ OpenXM/src/Makefile 1999/11/02 16:29:46 1.8 @@ -1,3 +1,5 @@ +## Type in make configure and make all to build all +## $OpenXM: OpenXM/src/Makefile,v 1.7 1999/11/02 12:33:56 takayama Exp $ all : all1 all2 all3 all1 : @@ -11,6 +13,9 @@ all2 : (cd phc ; make all ) all3 : (cd k097 ; make all ; cp k0 ../../bin) +all4 : + (cd OpenMath ; make ) + clean : /bin/rm -rf ../*~ *~ @@ -27,6 +32,16 @@ clean : (cd k097 ; make clean ; /bin/rm -rf ../../bin/k0) /bin/rm -rf bin/sm1 bin/ox bin/oxlog bin/ox_sm1 bin/phc6 +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-usr-local : ln -sf `pwd`/SSkan/Doc /usr/local/lib/sm1