version 1.22, 2015/02/21 06:20:36 |
version 1.27, 2020/01/04 15:57:37 |
|
|
# $OpenXM: OpenXM/src/gc/Makefile,v 1.21 2012/05/30 02:02:39 ohara Exp $ |
# $OpenXM: OpenXM/src/gc/Makefile,v 1.26 2015/09/28 05:52:13 takayama Exp $ |
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
RM = /bin/rm |
RM = /bin/rm |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/ |
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
# Original. http://www.hpl.hp.com/personal/Hans_Boehm/gc/gc_source/ |
DISTNAME=gc-7.2b |
#DISTNAME=gc-20150803-git |
DISTFILES=${DISTNAME}.tar.gz |
DISTNAME=gc-7.4.2 |
# WRKSRC=work/${DISTNAME} |
ATOMIC=libatomic_ops-7.4.0 |
WRKSRC=work/gc-7.2 |
DISTFILES=${DISTNAME}.tar.gz ${ATOMIC}.tar.gz |
PATCHFILES = ${OpenXM_HOME}/../OpenXM_contrib2/asir2000/gc-7.diff |
WRKSRC=work/${DISTNAME} |
#PATCHFILES = |
# WRKSRC=work/gc-20150803-git/bdwgc |
|
PATCHFILES = ${OpenXM_HOME}/../OpenXM_contrib2/asir2018/gc-7.diff gc-cygwin64.diff |
|
|
all : build |
all : build |
|
|
fetch: |
fetch: |
-mkdir work |
-mkdir work |
@if [ ! -f work/.fetch_done ]; then \ |
@if [ ! -f work/.fetch_done ]; then \ |
${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \ |
for i in ${DISTFILES}; do ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; done ; \ |
fi |
fi |
@touch work/.fetch_done |
@touch work/.fetch_done |
|
|
extract: fetch |
extract: fetch |
@if [ ! -f work/.extract_done ]; then \ |
@if [ ! -f work/.extract_done ]; then \ |
cat ${DISTDIR}/${DISTFILES} | (cd work; tar xzvf -) ; \ |
for i in ${DISTFILES}; do cat ${DISTDIR}/$$i | (cd work; tar xzvf -) ; done ; \ |
chmod +x ${WRKSRC}/install-sh ; \ |
chmod +x ${WRKSRC}/install-sh ; \ |
fi |
fi |
|
-(cd ${WRKSRC}; ln -sf ../${ATOMIC} libatomic_ops) |
@touch work/.extract_done |
@touch work/.extract_done |
|
|
patch: extract |
patch: extract |
|
|
configure : patch |
configure : patch |
@if [ ! -f work/.configure_done ]; then \ |
@if [ ! -f work/.configure_done ]; then \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
(cd ${WRKSRC}; ./configure --disable-threads --prefix="$$prefix" ) ; \ |
if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \ |
|
make configure-cygwin ; \ |
|
elif [ "`uname | sed -e 's/_.*$$//'`" = "MSYS" ]; then \ |
|
make configure-msys ; \ |
|
else \ |
|
make configure-others ; \ |
|
fi ; \ |
fi |
fi |
@touch work/.configure_done |
@touch work/.configure_done |
|
|
|
configure-cygwin: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; ./configure --disable-threads --prefix=$$prefix ) |
|
configure-msys: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; ./configure --disable-threads --prefix=$$prefix --build=x86_64-w64-mingw32 ) |
|
configure-others: |
|
prefix=`cd ${OpenXM_HOME}; pwd` ; \ |
|
(cd ${WRKSRC}; ./configure --disable-threads --prefix=$$prefix ) |
|
|
build : configure |
build : configure |
@if [ ! -f work/.build_done ]; then \ |
@if [ ! -f work/.build_done ]; then \ |