Return to Makefile CVS log | Up to [local] / OpenXM / src / sage |
File: [local] / OpenXM / src / sage / Makefile (download)
Revision 1.2, Wed Mar 6 02:38:33 2019 UTC (5 years, 3 months ago) by takayama
Example: load("asir.py"); asir.eval('F=fctr(x^10-1)') asir._keyboard_interrupt() asir.eval('') # there still be a bug (extra message after ctrl-C). asir.eval('') |
# $OpenXM: OpenXM/src/sage/Makefile,v 1.2 2019/03/06 02:38:33 takayama Exp $ usage: @echo "make install (as root)" @echo " copy-to-ox, copy-from-ox" install: cp asir.py /usr/lib/python2.7/dist-packages/sage/interfaces (cd /usr/lib/python2.7/dist-packages/sage/interfaces ; patch ) <all.py.diff # for misc-2018/A3/sage-asir copy-to-ox: rsync -avzu asir.py ${OpenXM_HOME}/src/sage/asir.py rsync -avzu Makefile ${OpenXM_HOME}/src/sage/Makefile @echo "commit $OpenXM_HOME and make copy-from-ox, git-misc commit" copy-from-ox: rsync -avzu ${OpenXM_HOME}/src/sage/asir.py asir.py rsync -avzu ${OpenXM_HOME}/src/sage/Makefile Makefile