blob: 45328348d743278c4e7ccce9df90204a6517da3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# 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>
|
