freebsd-ports/emulators/qemu-cheri128/Makefile

# Created by: Brooks Davis
# $FreeBSD$

PKGNAMESUFFIX=	-cheri128

COMMENT=	QEMU emulator with CHERI CPU support (128-bit)

MASTERDIR=	${.CURDIR}/../qemu-cheri

EXTRA_CFLAGS=	-DCHERI_128

.include <${MASTERDIR}/Makefile>
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit version. 2016-02-22 20:40:59 +01:00			`# Created by: Brooks Davis`
			`# $FreeBSD$`

			`PKGNAMESUFFIX= -cheri128`

			`COMMENT= QEMU emulator with CHERI CPU support (128-bit)`

			`MASTERDIR= ${.CURDIR}/../qemu-cheri`

Update qemu-cheri* to a fresh snapshot. Switch qemu-cheri128 to compressed 128-bit capabilities per the soon to be released ISA v5. Introduce a new qemu-cheri128m port which retains support for 128-bit capabilities that magically store 256-bit of data preserving semantic compatiblity with 256-bit capabilities while having 128-bit size and alignment requirments. 2016-06-10 16:41:14 +02:00			`EXTRA_CFLAGS= -DCHERI_128`
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit version. 2016-02-22 20:40:59 +01:00
			`.include <${MASTERDIR}/Makefile>`