Date: Sun, 10 Sep 2017 22:37:21 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 219150] [NEW PORT] security/klee: Symbolic virtual machine built on top of the LLVM compiler infrastructure Message-ID: <bug-219150-13-nuhHHRJB44@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-219150-13@https.bugs.freebsd.org/bugzilla/> References: <bug-219150-13@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D219150 Richard Gallamore <ultima@freebsd.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ultima@freebsd.org --- Comment #11 from Richard Gallamore <ultima@freebsd.org> --- A few items that should be corrected on this port. * Cant figure out the port version reason. That seems to be for the 1.3.x branch but according to git describe --tags 6be29d0, the version is v1.0.0-452-g6be29d0. So this should be DISTVERSIONPREFIX=3D v DISTVERSION=3D 1.0.0-452 DISTVERSIONSUFFIX=3D -g6be29d0 and remove tagname. * The portname should not be in the comment. (KLEE) * In libdepends, libtcmalloc.so.4. The .4 should be removed otherwise this = port will break when this lib version is bumped. --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-219150-13-nuhHHRJB44>