version 1.42, 2017/02/10 00:22:41 |
version 1.49, 2020/02/25 00:32:54 |
|
|
# Do source dot.bashrc before doing something. |
# Do source dot.bashrc before doing something. |
|
|
VERSION=1.3.2-2 |
VERSION=1.3.3-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 18 TM_OX=work/OpenXM/src/kxx/init-openxm.scm |
|
Line 18 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 |
fakeroot debian/rules build |
fakeroot debian/rules build |
fakeroot debian/rules install |
fakeroot debian/rules install |
fakeroot dpkg-buildpackage |
fakeroot dpkg-buildpackage -kdebian@math.kobe-u.ac.jp |
|
|
build-deb: |
build-deb: |
fakeroot debian/rules build |
fakeroot debian/rules build |
fakeroot debian/rules install |
fakeroot debian/rules install |
fakeroot dpkg-buildpackage |
fakeroot dpkg-buildpackage -kdebian@math.kobe-u.ac.jp |
|
|
fetch: |
fetch: |
if [ ! -f .fetch_done ]; then \ |
if [ ! -f .fetch_done ]; then \ |
|
|
rm -rf *~ |
rm -rf *~ |
|
|
update-version: |
update-version: |
../../../../bin/oxreplace --old VERSION=1.3.2-1 --new VERSION=1.3.2-2 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.3-2 --new VERSION=1.3.3-3 OpenXM/download/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.2-1 --new VERSION=1.3.2-2 ../../../../src/asir-port/Makefile |
../../../../bin/oxreplace --old VERSION=1.3.3-2 --new VERSION=1.3.3-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" |