version 1.3, 2021/03/24 18:52:34 |
version 1.5, 2022/09/07 06:23:45 |
|
|
# $OpenXM: OpenXM/src/asir-gc/Makefile,v 1.2 2021/03/24 14:32:47 fujimoto Exp $ |
# $OpenXM: OpenXM/src/asir-gc/Makefile,v 1.4 2021/10/02 05:59:37 ohara Exp $ |
|
|
OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
DISTDIR=${OpenXM_HOME}/../OpenXM_dist |
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.hboehm.info/gc/gc_source |
# Original. http://www.hboehm.info/gc/gc_source |
DISTNAME=gc-7.6.12 |
# https://github.com/ivmai/bdwgc/wiki/Download |
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.6.10.tar.gz |
DISTNAME=gc-8.0.6 |
|
DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.6.12.tar.gz |
|
|
ASIR_GC = ../../../OpenXM_contrib2/asir-gc |
ASIR_GC = ../../../OpenXM_contrib2/asir-gc |
|
|
|
|
|
|
configure: fetch |
configure: fetch |
@if [ ! -f .configure_done ]; then \ |
@if [ ! -f .configure_done ]; then \ |
if [ -z $TARGET_TYPE ]; then \ |
if [ -z "${TARGET_TYPE}" ]; then \ |
(cd $(ASIR_GC) ; \ |
(cd $(ASIR_GC) ; \ |
./configure --prefix="`cd ../../OpenXM; pwd`") \ |
./configure --prefix="`cd ../../OpenXM; pwd`") \ |
else \ |
else \ |