version 1.40, 2016/02/12 00:45:54 |
version 1.43, 2017/03/01 02:52:09 |
|
|
# Do source dot.bashrc before doing something. |
# Do source dot.bashrc before doing something. |
|
|
VERSION=1.3.2-1 |
VERSION=1.3.2-3 |
# This VERSION must be compatible with debian/control and changelog ver. |
# This VERSION must be compatible with debian/control and changelog ver. |
# use "make update-version" to update these values. |
# use "make update-version" to update these values. |
# OpenXM/download/Makefile |
# OpenXM/download/Makefile |
Line 12 OS=`dpkg --print-architecture` |
|
Line 12 OS=`dpkg --print-architecture` |
|
RSYNC=rsync -avz -e ssh |
RSYNC=rsync -avz -e ssh |
#FTP_DIR=/home/web/pub/OpenXM/head/knoppix |
#FTP_DIR=/home/web/pub/OpenXM/head/knoppix |
FTP_DIR=/home/web/pub/OpenXM/head/knoppix |
FTP_DIR=/home/web/pub/OpenXM/head/knoppix |
APT_DIR=/usr/local/www/data/KnoppixMath-`dpkg --print-architecture` |
APT_DIR=/usr/local/www/data/MathLibre-`dpkg --print-architecture` |
TM_OX=work/OpenXM/src/kxx/init-openxm.scm |
TM_OX=work/OpenXM/src/kxx/init-openxm.scm |
|
|
build-package: fetch make-tar-ball-2 make-tar-ball-3 |
build-package: fetch make-tar-ball-2 make-tar-ball-3 |
|
|
rm -rf *~ |
rm -rf *~ |
|
|
update-version: |
update-version: |
../../../../bin/oxreplace --old VERSION=1.3.1-14 --new VERSION=1.3.2-1 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.2-2 --new VERSION=1.3.2-3 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.1-14 --new VERSION=1.3.2-1 ../../../../src/asir-port/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.2-2 --new VERSION=1.3.2-3 ../../../../src/asir-port/Makefile |
echo "make commit under OpenXM/src/asir-port and here" |
echo "make commit under OpenXM/src/asir-port and here" |