diff options
| author | Brooks Davis <brooks@FreeBSD.org> | 2016-02-22 19:40:59 +0000 |
|---|---|---|
| committer | Brooks Davis <brooks@FreeBSD.org> | 2016-02-22 19:40:59 +0000 |
| commit | 3602436e4ab5b7e315e907d0b10f8520385463fd (patch) | |
| tree | 746b8412421098f9d4cebcd8c3c0aad68cfc8fe7 /emulators/qemu-cheri128 | |
| parent | 504b86683fafca7c0edf76a499715b41da76d2c2 (diff) | |
Notes
Diffstat (limited to 'emulators/qemu-cheri128')
| -rw-r--r-- | emulators/qemu-cheri128/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/emulators/qemu-cheri128/Makefile b/emulators/qemu-cheri128/Makefile new file mode 100644 index 000000000000..3764a1d6ddbc --- /dev/null +++ b/emulators/qemu-cheri128/Makefile @@ -0,0 +1,20 @@ +# Created by: Brooks Davis +# $FreeBSD$ + +PKGNAMESUFFIX= -cheri128 + +COMMENT= QEMU emulator with CHERI CPU support (128-bit) + +RUN_DEPENDS= qemu-system-cheri:${PORTSDIR}/emulators/qemu-cheri + +MASTERDIR= ${.CURDIR}/../qemu-cheri + +EXTRA_CFLAGS= -DCHERI_MAGIC128 +PLIST= /dev/null +PLIST_FILES= bin/qemu-system-cheri128 + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/cheri-softmmu/qemu-system-cheri \ + ${STAGEDIR}${PREFIX}/bin/qemu-system-cheri128 + +.include <${MASTERDIR}/Makefile> |