Index: head/emulators/qemu-cheri/Makefile =================================================================== --- head/emulators/qemu-cheri/Makefile (revision 484947) +++ head/emulators/qemu-cheri/Makefile (revision 484948) @@ -1,64 +1,64 @@ # $FreeBSD$ PORTNAME= qemu PORTVERSION= 0.d${SNAPDATE} CATEGORIES= emulators devel PKGNAMESUFFIX= -cheri MAINTAINER= brooks@FreeBSD.org COMMENT?= QEMU emulator with CHERI CPU support # XXX: disabling gnutls doesn't work so depend on it to avoid breakage. LIB_DEPENDS= libcapstone.so:devel/capstone3 \ libgnutls.so:security/gnutls \ libnettle.so:security/nettle RUN_DEPENDS= qemu-system-i386:emulators/qemu LICENSE= GPLv2 USE_GITHUB= yes GH_ACCOUNT= CTSRD-CHERI GH_TAGNAME= ${QEMU_COMMIT} GH_TUPLE= qemu:keycodemapdb:6b3d716:qemu/ui/keycodemapdb HAS_CONFIGURE= yes -USES= gettext-runtime gmake libtool makeinfo pkgconfig python:2.7,build +USES= gettext-runtime gmake gnome libtool makeinfo pkgconfig python:2.7,build USE_XORG= pixman -USE_GNOME+= glib20 -ONLY_FOR_ARCHS= amd64 i386 powerpc powerpc64 +USE_GNOME+= glib20 libxml2 +ONLY_FOR_ARCHS= amd64 powerpc64 OPTIONS_DEFINE= DOCS .include "Makefile.snapshot" CONFIGURE_ARGS+= \ --target-list=cheri128-softmmu,cheri128magic-softmmu,cheri256-softmmu \ --disable-curl \ --disable-git-update \ --disable-gtk \ --disable-libssh2 \ --disable-linux-user \ --disable-linux-aio \ --disable-kvm \ --disable-vnc-png \ --disable-sdl \ --disable-vte \ --disable-xen \ --smbd=${LOCALBASE}/sbin/smbd \ --extra-cflags="-g ${EXTRA_CFLAGS}" \ --localstatedir=/var EXTRA_CFLAGS= -DCHERI_UNALIGNED QEMU_SYSTEM_CHERI?= qemu-system${PKGNAMESUFFIX} PLIST= /dev/null PLIST_FILES= bin/qemu-system-cheri128 \ bin/qemu-system-cheri128magic \ bin/qemu-system-cheri256 do-install: ${INSTALL_PROGRAM} ${WRKSRC}/cheri128-softmmu/qemu-system-cheri128 \ ${WRKSRC}/cheri128magic-softmmu/qemu-system-cheri128magic \ ${WRKSRC}/cheri256-softmmu/qemu-system-cheri256 \ ${STAGEDIR}${PREFIX}/bin/ .include Index: head/emulators/qemu-cheri/Makefile.snapshot =================================================================== --- head/emulators/qemu-cheri/Makefile.snapshot (revision 484947) +++ head/emulators/qemu-cheri/Makefile.snapshot (revision 484948) @@ -1,9 +1,9 @@ # $FreeBSD$ # # Generated file! Do not edit! # # Generated by: files/gen-Makefile.snapshot.sh. # -SNAPDATE= 20180727 +SNAPDATE= 20181031 -QEMU_COMMIT= 1356c0d237cc65d95f20f2eac69df3db9de5f6e2 +QEMU_COMMIT= 05df601224d09e5e454ae778d31b9951c5b96d25 Index: head/emulators/qemu-cheri/distinfo =================================================================== --- head/emulators/qemu-cheri/distinfo (revision 484947) +++ head/emulators/qemu-cheri/distinfo (revision 484948) @@ -1,5 +1,5 @@ -TIMESTAMP = 1533142867 -SHA256 (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 12fbfc5a6d141dad82ed22ae76bdcd0b66b2ffb655a4bf2545c7dba0e5f2d450 -SIZE (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 16142190 +TIMESTAMP = 1542228858 +SHA256 (CTSRD-CHERI-qemu-0.d20181031-05df601224d09e5e454ae778d31b9951c5b96d25_GH0.tar.gz) = 2ed68cddbbd19df77c73337254ddf4ddc139c319efec4f6ec733b0d31a65888a +SIZE (CTSRD-CHERI-qemu-0.d20181031-05df601224d09e5e454ae778d31b9951c5b96d25_GH0.tar.gz) = 16153356 SHA256 (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = c9d3412510aac999865d01aaa14b1fa8dc0385db55c5cf6c4d95d160bd0eaee9 SIZE (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = 47905