Index: head/emulators/qemu-cheri/Makefile =================================================================== --- head/emulators/qemu-cheri/Makefile (revision 477399) +++ head/emulators/qemu-cheri/Makefile (revision 477400) @@ -1,62 +1,63 @@ # $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 USE_XORG= pixman USE_GNOME+= glib20 ONLY_FOR_ARCHS= amd64 i386 powerpc powerpc64 BROKEN_FreeBSD_10= Default toolchain lacks support for .cfi_sections .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 477399) +++ head/emulators/qemu-cheri/Makefile.snapshot (revision 477400) @@ -1,9 +1,9 @@ # $FreeBSD$ # # Generated file! Do not edit! # # Generated by: files/gen-Makefile.snapshot.sh. # -SNAPDATE= 20180614 +SNAPDATE= 20180727 -QEMU_COMMIT= e47a647e025e69212e6563b2b307a837677b9944 +QEMU_COMMIT= 1356c0d237cc65d95f20f2eac69df3db9de5f6e2 Index: head/emulators/qemu-cheri/distinfo =================================================================== --- head/emulators/qemu-cheri/distinfo (revision 477399) +++ head/emulators/qemu-cheri/distinfo (revision 477400) @@ -1,9 +1,5 @@ -TIMESTAMP = 1529085999 -SHA256 (CTSRD-CHERI-qemu-0.d20180614-e47a647e025e69212e6563b2b307a837677b9944_GH0.tar.gz) = d2a5e68c56e10107e212a2f9b7ae2c7c4439d562e19f3cdb54d01e4778526899 -SIZE (CTSRD-CHERI-qemu-0.d20180614-e47a647e025e69212e6563b2b307a837677b9944_GH0.tar.gz) = 16136332 -SHA256 (qemu-capstone-22ead3e_GH0.tar.gz) = c8c73aa3f38d486a1a03f117611d5a82530fd33a2ef6c343256c3a6fac9ebd04 -SIZE (qemu-capstone-22ead3e_GH0.tar.gz) = 2883987 -SHA256 (qemu-dtc-e543880_GH0.tar.gz) = 84878bdcfca30db1ad32fd60ddfd01e08fc00ff0c042d2a758e7e90c08de0b5e -SIZE (qemu-dtc-e543880_GH0.tar.gz) = 176916 +TIMESTAMP = 1533142867 +SHA256 (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 12fbfc5a6d141dad82ed22ae76bdcd0b66b2ffb655a4bf2545c7dba0e5f2d450 +SIZE (CTSRD-CHERI-qemu-0.d20180727-1356c0d237cc65d95f20f2eac69df3db9de5f6e2_GH0.tar.gz) = 16142190 SHA256 (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = c9d3412510aac999865d01aaa14b1fa8dc0385db55c5cf6c4d95d160bd0eaee9 SIZE (qemu-keycodemapdb-6b3d716_GH0.tar.gz) = 47905