diff options
Diffstat (limited to 'emulators/qemu-cheri')
-rw-r--r-- | emulators/qemu-cheri/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/emulators/qemu-cheri/Makefile b/emulators/qemu-cheri/Makefile index 5d533c6349ed..4d39b694a166 100644 --- a/emulators/qemu-cheri/Makefile +++ b/emulators/qemu-cheri/Makefile @@ -62,6 +62,12 @@ EXTRA_CFLAGS= -DCHERI_UNALIGNED PLIST_FILES= bin/qemu-system-morello \ bin/qemu-system-riscv64cheri +.include <bsd.port.options.mk> + +.if ${OPSYS} == FreeBSD && ${OSVERSION} >= 1400091 +CFLAGS+= -Wno-error=int-conversion +.endif + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/build/qemu-system-morello \ ${WRKSRC}/build/qemu-system-riscv64cheri \ |