version 1.37, 2014/05/28 07:41:15 |
version 1.44, 2018/02/22 01:12:15 |
|
|
# Do source dot.bashrc before doing something. |
# Do source dot.bashrc before doing something. |
|
|
VERSION=1.3.1-13 |
VERSION=1.3.2-4 |
# 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 |
|
|
MD5=md5sum |
MD5=md5sum |
OS=`dpkg --print-architecture` |
OS=`dpkg --print-architecture` |
RSYNC=rsync -avz -e ssh |
RSYNC=rsync -avz -e ssh |
#FTP_DIR=/home/ftp/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-12 --new VERSION=1.3.1-13 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.2-3 --new VERSION=1.3.2-4 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.1-12 --new VERSION=1.3.1-13 ../../../../src/asir-port/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.2-3 --new VERSION=1.3.2-4 ../../../../src/asir-port/Makefile |
echo "make commit under OpenXM/src/asir-port and here" |
echo "make commit under OpenXM/src/asir-port and here" |