version 1.2, 2019/03/06 02:38:33 |
version 1.3, 2019/03/22 04:11:17 |
|
|
# $OpenXM: OpenXM/src/sage/Makefile,v 1.1 2018/09/08 05:35:35 takayama Exp $ |
# $OpenXM: OpenXM/src/sage/Makefile,v 1.2 2019/03/06 02:38:33 takayama Exp $ |
usage: |
usage: |
@echo "make install (as root)" |
@echo "make install (as root)" |
@echo " copy-to-ox, copy-from-ox" |
@echo " copy-to-ox, copy-from-ox" |
|
|
copy-to-ox: |
copy-to-ox: |
rsync -avzu asir.py ${OpenXM_HOME}/src/sage/asir.py |
rsync -avzu asir.py ${OpenXM_HOME}/src/sage/asir.py |
rsync -avzu Makefile ${OpenXM_HOME}/src/sage/Makefile |
rsync -avzu Makefile ${OpenXM_HOME}/src/sage/Makefile |
@echo "commit $OpenXM_HOME and make copy-from-ox, git-misc commit" |
@echo "pushd ${OpenXM_HOME}/src/sage; cvs-openxm commit ; popd and make copy-from-ox, git-misc commit" |
copy-from-ox: |
copy-from-ox: |
rsync -avzu ${OpenXM_HOME}/src/sage/asir.py asir.py |
rsync -avzu ${OpenXM_HOME}/src/sage/asir.py asir.py |
rsync -avzu ${OpenXM_HOME}/src/sage/Makefile Makefile |
rsync -avzu ${OpenXM_HOME}/src/sage/Makefile Makefile |