Depend on Python at runtime for arch
* Depend on Python at runtime in arch
* Test arch package: to revert
* Revert "Test arch package: to revert"
This reverts commit
@@ -8,7 +8,7 @@ arch=('x86_64')
url="https://github.com/runtimeverification/k"
license=('custom')
groups=()
-depends=( 'bison' 'clang' 'diffutils' 'flex' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'tar' 'z3' )
+depends=( 'bison' 'clang' 'diffutils' 'flex' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
makedepends=( 'boost' 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
checkdepends=()
optdepends=()
