version 1.21, 2015/09/28 05:52:13 |
version 1.22, 2017/03/30 13:17:15 |
|
|
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.20 2015/02/21 06:20:36 ohara Exp $ |
# $OpenXM: OpenXM/src/gmp/Makefile,v 1.21 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/ |
DISTNAME=gmp-5.0.4 |
DISTNAME=gmp-6.1.2 |
DISTFILES=${DISTNAME}.tar.bz2 |
DISTFILES=${DISTNAME}.tar.bz2 |
WRKSRC=work/${DISTNAME} |
WRKSRC=work/${DISTNAME} |
#PATCHFILES = gmp.diff |
#PATCHFILES = gmp.diff |