svn commit: r409365 - in head/emulators: . qemu-cheri qemu-cheri128
Brooks Davis
brooks at FreeBSD.org
Mon Feb 22 19:41:01 UTC 2016
Author: brooks
Date: Mon Feb 22 19:40:59 2016
New Revision: 409365
URL: https://svnweb.freebsd.org/changeset/ports/409365
Log:
Update qemu-cheri to a fresh snapshot and add a port to build the 128-bit
version.
Added:
head/emulators/qemu-cheri128/
head/emulators/qemu-cheri128/Makefile (contents, props changed)
Modified:
head/emulators/Makefile
head/emulators/qemu-cheri/Makefile
head/emulators/qemu-cheri/Makefile.snapshot
head/emulators/qemu-cheri/distinfo
Modified: head/emulators/Makefile
==============================================================================
--- head/emulators/Makefile Mon Feb 22 19:20:02 2016 (r409364)
+++ head/emulators/Makefile Mon Feb 22 19:40:59 2016 (r409365)
@@ -117,6 +117,7 @@
SUBDIR += q4wine
SUBDIR += qemu
SUBDIR += qemu-cheri
+ SUBDIR += qemu-cheri128
SUBDIR += qemu-devel
SUBDIR += qemu-launcher
SUBDIR += qemu-sbruno
Modified: head/emulators/qemu-cheri/Makefile
==============================================================================
--- head/emulators/qemu-cheri/Makefile Mon Feb 22 19:20:02 2016 (r409364)
+++ head/emulators/qemu-cheri/Makefile Mon Feb 22 19:40:59 2016 (r409365)
@@ -3,10 +3,10 @@
PORTNAME= qemu
PORTVERSION= 0.d${SNAPDATE}
CATEGORIES= emulators devel
-PKGNAMESUFFIX= -cheri
+PKGNAMESUFFIX?= -cheri
MAINTAINER= brooks at 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>
Modified: head/emulators/qemu-cheri/Makefile.snapshot
==============================================================================
--- head/emulators/qemu-cheri/Makefile.snapshot Mon Feb 22 19:20:02 2016 (r409364)
+++ head/emulators/qemu-cheri/Makefile.snapshot Mon Feb 22 19:40:59 2016 (r409365)
@@ -4,6 +4,6 @@
#
# Generated by: files/gen-Makefile.snapshot.sh.
#
-SNAPDATE= 20160128
+SNAPDATE= 20160220
-QEMU_COMMIT= 100abeddda5764c193807863806df7027471db94
+QEMU_COMMIT= 5f5668398f6eba799298072ac761e7216e360d85
Modified: head/emulators/qemu-cheri/distinfo
==============================================================================
--- head/emulators/qemu-cheri/distinfo Mon Feb 22 19:20:02 2016 (r409364)
+++ head/emulators/qemu-cheri/distinfo Mon Feb 22 19:40:59 2016 (r409365)
@@ -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
Added: head/emulators/qemu-cheri128/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/emulators/qemu-cheri128/Makefile Mon Feb 22 19:40:59 2016 (r409365)
@@ -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>
More information about the svn-ports-head
mailing list