Skip to content

Commit 792c4de

Browse files
committed
new package: gprconfig-kb
1 parent 97f5037 commit 792c4de

File tree

1 file changed

+30
-0
lines changed

1 file changed

+30
-0
lines changed
Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
TERMUX_PKG_HOMEPAGE=https://github.com/AdaCore/gprconfig_kb
2+
TERMUX_PKG_DESCRIPTION="GPR configuration knowledge base"
3+
TERMUX_PKG_LICENSE="custom"
4+
TERMUX_PKG_LICENSE_FILE="COPYING3, COPYING.RUNTIME"
5+
TERMUX_PKG_MAINTAINER="@termux-user-repository"
6+
TERMUX_PKG_VERSION="25.0.0"
7+
TERMUX_PKG_SRCURL=https://github.com/AdaCore/gprconfig_kb/archive/refs/tags/v$TERMUX_PKG_VERSION.tar.gz
8+
TERMUX_PKG_SHA256=802e6d38a3b110897924a9c16e143cb86360f2dde94bb5b9144c7c391e37b121
9+
TERMUX_PKG_BUILD_IN_SRC=true
10+
TERMUX_PKG_AUTO_UPDATE=true
11+
12+
termux_step_pre_configure() {
13+
if [ "${TERMUX_ON_DEVICE_BUILD}" = false ]; then
14+
termux_error_exit "This package doesn't support cross-compiling."
15+
fi
16+
}
17+
18+
termux_step_configure() {
19+
:
20+
}
21+
22+
termux_step_make() {
23+
:
24+
}
25+
26+
termux_step_make_install() {
27+
mkdir -p "$TERMUX_PREFIX"/share/gprconfig
28+
rm -rf "$TERMUX_PREFIX"/share/gprconfig
29+
cp -r "$TERMUX_PKG_SRCDIR"/db "$TERMUX_PREFIX"/share/gprconfig
30+
}

0 commit comments

Comments
 (0)