From 1effbc97cca0c730160998b47f42c36e3a569492 Mon Sep 17 00:00:00 2001
From: Tee KOBAYASHI <xtkoba@gmail.com>
Date: Thu, 31 Mar 2022 13:53:58 +0900
Subject: [PATCH] new package: vera

---
 packages/vera/build.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 packages/vera/build.sh

diff --git a/packages/vera/build.sh b/packages/vera/build.sh
new file mode 100644
index 000000000..fe6d3e6ef
--- /dev/null
+++ b/packages/vera/build.sh
@@ -0,0 +1,20 @@
+TERMUX_PKG_HOMEPAGE=https://bitbucket.org/verateam/vera
+TERMUX_PKG_DESCRIPTION="A programmable tool for verification, analysis and transformation of C++ source code"
+TERMUX_PKG_LICENSE="BSL-1.0"
+TERMUX_PKG_MAINTAINER="@termux"
+TERMUX_PKG_VERSION=1.3.0
+TERMUX_PKG_SRCURL=https://github.com/verateam/vera/archive/refs/tags/v${TERMUX_PKG_VERSION}.tar.gz
+TERMUX_PKG_SHA256=32d1d29be8ec96556fa0935d908d2627daffbf117abd1aa639f5a1c64ae10ceb
+TERMUX_PKG_DEPENDS="boost, libc++, tcl"
+TERMUX_PKG_BUILD_DEPENDS="boost-headers"
+TERMUX_PKG_EXTRA_CONFIGURE_ARGS="
+-DVERA_LUA=OFF
+-DVERA_PYTHON=OFF
+-DVERA_USE_SYSTEM_BOOST=ON
+"
+
+termux_step_post_configure() {
+	if [ "$TERMUX_CMAKE_BUILD" = "Ninja" ]; then
+		sed -i 's:[^ ]*/src/vera++ :true :g' build.ninja
+	fi
+}