build isl tool for GCC 12.
This commit is contained in:
parent
dde872423e
commit
439ff855d8
|
@ -1,4 +1,4 @@
|
|||
# $NetBSD: Makefile,v 1.215 2023/11/30 06:29:33 rin Exp $
|
||||
# $NetBSD: Makefile,v 1.216 2024/02/23 05:34:41 mrg Exp $
|
||||
|
||||
.include <bsd.own.mk>
|
||||
.include <bsd.endian.mk>
|
||||
|
@ -31,6 +31,9 @@ TOOLCHAIN_BITS+= gmake .WAIT
|
|||
TOOLCHAIN_BITS+= gmp .WAIT
|
||||
TOOLCHAIN_BITS+= mpfr .WAIT
|
||||
TOOLCHAIN_BITS+= mpc .WAIT
|
||||
. if (defined(HAVE_GCC) && ${HAVE_GCC} >= 12)
|
||||
TOOLCHAIN_BITS+= isl .WAIT
|
||||
. endif
|
||||
. endif
|
||||
|
||||
TOOLCHAIN_BITS+= binutils .WAIT
|
||||
|
|
|
@ -0,0 +1,16 @@
|
|||
# $NetBSD: Makefile,v 1.1 2024/02/23 05:34:41 mrg Exp $
|
||||
|
||||
GNUHOSTDIST= ${.CURDIR}/../../external/mit/isl/dist
|
||||
|
||||
CONFIGURE_ARGS+= --with-gmp-prefix=${TOOLDIR:Q} \
|
||||
--disable-shared
|
||||
|
||||
.include "${.CURDIR}/../Makefile.gmakehost"
|
||||
|
||||
CONFIGURE_ENV+= MAKE=${TOOL_GMAKE}
|
||||
|
||||
# XXX this gets lost some how. Not portable.
|
||||
HOST_CXXFLAGS+= -std=gnu++17
|
||||
|
||||
# Force avoiding possibly non-executable install-sh.
|
||||
#CONFIGURE_ENV+= ac_cv_path_mkdir="${TOOLDIR}/bin/${MACHINE_GNU_PLATFORM}-install -d"
|
Loading…
Reference in New Issue