cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit

Browse Source 
version.
This commit is contained in:
Brooks Davis 2016-02-22 19:40:59 +00:00
parent 504b86683f
commit 3602436e4a
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=409365
5 changed files with 28 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
emulators/Makefile
View File

@ -117,6 +117,7 @@
SUBDIR += q4wine
SUBDIR += qemu
SUBDIR += qemu-cheri
SUBDIR += qemu-cheri128
SUBDIR += qemu-devel
SUBDIR += qemu-launcher
SUBDIR += qemu-sbruno

6
emulators/qemu-cheri/Makefile
View File

@ -3,10 +3,10 @@
PORTNAME= qemu
PORTVERSION= 0.d${SNAPDATE}
CATEGORIES= emulators devel
PKGNAMESUFFIX= -cheri
PKGNAMESUFFIX?= -cheri
MAINTAINER= brooks@FreeBSD.org
COMMENT= QEMU emulator with CHERI CPU support
COMMENT?= QEMU emulator with CHERI CPU support
USE_GITHUB= yes
GH_ACCOUNT= CTSRD-CHERI
@ -32,7 +32,7 @@ CONFIGURE_ARGS+= \
--disable-smartcard-nss \
--disable-vte \
--disable-xen \
--extra-cflags=-g \
--extra-cflags="-g ${EXTRA_CFLAGS}" \
--localstatedir=/var
.include <bsd.port.mk>

4
emulators/qemu-cheri/Makefile.snapshot
View File

@ -4,6 +4,6 @@
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
SNAPDATE= 20160128
SNAPDATE= 20160220
QEMU_COMMIT= 100abeddda5764c193807863806df7027471db94
QEMU_COMMIT= 5f5668398f6eba799298072ac761e7216e360d85

4
emulators/qemu-cheri/distinfo
View File

@ -1,2 +1,2 @@
SHA256 (CTSRD-CHERI-qemu-0.d20160128-100abeddda5764c193807863806df7027471db94_GH0.tar.gz) = cbe4c5508c8b3ab2ecf52e1d1e80580fdfe610ec15d7b4413c5531563f71d349
SIZE (CTSRD-CHERI-qemu-0.d20160128-100abeddda5764c193807863806df7027471db94_GH0.tar.gz) = 11137465
SHA256 (CTSRD-CHERI-qemu-0.d20160220-5f5668398f6eba799298072ac761e7216e360d85_GH0.tar.gz) = 9a43a26c7144ac7995e33e956390b96695a8d5cae5327dbb06c9ca0b32289437
SIZE (CTSRD-CHERI-qemu-0.d20160220-5f5668398f6eba799298072ac761e7216e360d85_GH0.tar.gz) = 11139308

20
emulators/qemu-cheri128/Makefile Normal file
View File

@ -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>