[BACK]Return to Makefile CVS log [TXT][DIR] Up to [local] / OpenXM / src / sage
File: [local] / OpenXM / src / sage / Makefile (download)

Revision 1.3, Fri Mar 22 04:11:17 2019 UTC (5 years, 1 month ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.2: +2 -2 lines 

fixed typos.

# $OpenXM: OpenXM/src/sage/Makefile,v 1.3 2019/03/22 04:11:17 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 "pushd ${OpenXM_HOME}/src/sage; cvs-openxm commit ; popd 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