| version 1.1, 2020/01/08 16:03:45 |
version 1.2, 2021/03/24 14:32:47 |
|
|
| # $OpenXM$ |
# $OpenXM: OpenXM/src/asir-gc/Makefile,v 1.1 2020/01/08 16:03:45 ohara Exp $ |
| |
|
| OpenXM_HOME=../.. |
OpenXM_HOME=../.. |
| PREFIX=${OpenXM_HOME} |
PREFIX=${OpenXM_HOME} |
|
|
| |
|
| configure: fetch |
configure: fetch |
| @if [ ! -f .configure_done ]; then \ |
@if [ ! -f .configure_done ]; then \ |
| (cd $(ASIR_GC) ; \ |
if [ -z $TARGET_TYPE ]; then \ |
| ./configure --prefix="`cd ../../OpenXM; pwd`") \ |
(cd $(ASIR_GC) ; \ |
| |
./configure --prefix="`cd ../../OpenXM; pwd`") \ |
| |
else \ |
| |
(cd $(ASIR_GC) ; \ |
| |
./configure --host=${TARGET_TYPE} --prefix="`cd ../../OpenXM; pwd`") \ |
| |
fi ; \ |
| fi |
fi |
| @touch .configure_done |
@touch .configure_done |