Module Name: src
Committed By: mrg
Date: Fri Feb 23 05:34:41 UTC 2024
Modified Files:
src/tools: Makefile
Added Files:
src/tools/isl: Makefile
Log Message:
build isl tool for GCC 12.
To generate a diff of this commit:
cvs rdiff -u -r1.215 -r1.216 src/tools/Makefile
cvs rdiff -u -r0 -r1.1 src/tools/isl/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/tools/Makefile
diff -u src/tools/Makefile:1.215 src/tools/Makefile:1.216
--- src/tools/Makefile:1.215 Thu Nov 30 06:29:33 2023
+++ src/tools/Makefile Fri Feb 23 05:34:41 2024
@@ -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
Added files:
Index: src/tools/isl/Makefile
diff -u /dev/null src/tools/isl/Makefile:1.1
--- /dev/null Fri Feb 23 05:34:41 2024
+++ src/tools/isl/Makefile Fri Feb 23 05:34:41 2024
@@ -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"
