978460fe07
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.
20 lines
484 B
Makefile
20 lines
484 B
Makefile
# Created by: Brooks Davis
|
|
# $FreeBSD$
|
|
|
|
PKGNAMESUFFIX= -cheri128m
|
|
|
|
COMMENT= QEMU emulator with CHERI CPU support (128-bit, magic compression)
|
|
|
|
RUN_DEPENDS= qemu-system-cheri:emulators/qemu-cheri
|
|
|
|
MASTERDIR= ${.CURDIR}/../qemu-cheri
|
|
|
|
EXTRA_CFLAGS= -DCHERI_MAGIC128
|
|
PLIST= /dev/null
|
|
PLIST_FILES= bin/qemu-system-cheri128m
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/cheri-softmmu/qemu-system-cheri \
|
|
${STAGEDIR}${PREFIX}/bin/qemu-system-cheri128m
|
|
|
|
.include <${MASTERDIR}/Makefile>
|