emulators/qemu-cheri128/Makefile

   1 # Created by: Brooks Davis
   2 # $FreeBSD$
   3
   4 PKGNAMESUFFIX=  -cheri128
   5
   6 COMMENT=        QEMU emulator with CHERI CPU support (128-bit)
   7
   8 RUN_DEPENDS=    qemu-system-cheri:emulators/qemu-cheri
   9
  10 MASTERDIR=      ${.CURDIR}/../qemu-cheri
  11
  12 EXTRA_CFLAGS=   -DCHERI_128
  13 PLIST=          /dev/null
  14 PLIST_FILES=    bin/qemu-system-cheri128
  15
  16 do-install:
  17         ${INSTALL_PROGRAM} ${WRKSRC}/cheri-softmmu/qemu-system-cheri \
  18             ${STAGEDIR}${PREFIX}/bin/qemu-system-cheri128
  19
  20 .include <${MASTERDIR}/Makefile>