mirror of
https://github.com/termux-pacman/termux-packages.git
synced 2026-02-12 04:41:03 +00:00
7ee4841a3f
- `fix-aligned-alloc-detection.patch` fixes a preprocessor conditional mistake introduced in 8b80ad7f24
- Revision-bump all reverse dependencies in the `packages` folder
25 lines
875 B
Bash
25 lines
875 B
Bash
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_REVISION=9
|
|
TERMUX_PKG_SRCURL="https://github.com/verateam/vera/archive/refs/tags/v${TERMUX_PKG_VERSION}.tar.gz"
|
|
TERMUX_PKG_SHA256=32d1d29be8ec96556fa0935d908d2627daffbf117abd1aa639f5a1c64ae10ceb
|
|
TERMUX_PKG_AUTO_UPDATE=true
|
|
TERMUX_PKG_UPDATE_TAG_TYPE="newest-tag"
|
|
TERMUX_PKG_DEPENDS="boost, libc++, tcl"
|
|
TERMUX_PKG_BUILD_DEPENDS="boost-headers"
|
|
TERMUX_PKG_EXTRA_CONFIGURE_ARGS="
|
|
-DCMAKE_POLICY_VERSION_MINIMUM=3.5
|
|
-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
|
|
}
|