=================================================================== RCS file: /home/cvs/OpenXM/src/Makefile,v retrieving revision 1.133 retrieving revision 1.134 diff -u -p -r1.133 -r1.134 --- OpenXM/src/Makefile 2003/11/27 12:10:18 1.133 +++ OpenXM/src/Makefile 2004/02/22 06:39:09 1.134 @@ -1,4 +1,4 @@ -## $OpenXM: OpenXM/src/Makefile,v 1.132 2003/09/14 01:19:55 takayama Exp $ +## $OpenXM: OpenXM/src/Makefile,v 1.133 2003/11/27 12:10:18 takayama Exp $ OpenXM_HOME=.. OpenXM_contrib=../../OpenXM_contrib @@ -81,7 +81,7 @@ install: install-oxtags install-util install-asir inst 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-fep install-uuencoded + install-misc install-fep install-uuencoded install-asir-port install-oxtags: (cd ../doc/OpenXM-web ; make install-exec) @@ -167,6 +167,9 @@ install-rc: all-rc install-uuencoded: (cd uuencoded ; make install) + +install-asir-port: + (cd asir-port ; make install) clean: -rm ./.configure-links-done