Created attachment 205344 [details] Add sqlite3 to devel/ikos RUN_DEPENDS The ikos.analyzer module requires sqlite3. Add it to RUN_DEPENDS.
Committed. Thank you for your submission!
A commit references this bug: Author: yuri Date: Wed Jun 26 07:45:04 UTC 2019 New revision: 505142 URL: https://svnweb.freebsd.org/changeset/ports/505142 Log: devel/ikos: Add sqlite3 to RUN_DEPENDS The ikos.analyzer module requires sqlite3. PR: 238818 Submitted by: Julien Nadeau <vedge@hypertriton.com> Changes: head/devel/ikos/Makefile