Revert #3773 (#3779)

This PR is a direct revert of
#3773 that we need to merge
to fix the release build; the original issue fix in that PR didn't work
as I expected and so we will need to consider a more involved strategy
to clean this file out of the repository.

package/arch/PKGBUILD

@@ -0,0 +1,44 @@
+# Maintainer: Dwight Guth <[email protected]>
+pkgname=kframework-git
+pkgver=6.0.0
+pkgrel=1
+epoch=
+pkgdesc="K framework toolchain. Includes K Framework compiler for K language definitions, and K interpreter and prover for programs written in languages defined in K."
+arch=('x86_64')
+url="https://github.com/runtimeverification/k"
+license=('custom')
+groups=()
+depends=( 'bison' 'boost' 'clang' 'diffutils' 'flex' 'fmt' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libsecp256k1' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
+makedepends=( 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
+checkdepends=()
+optdepends=()
+provides=()
+conflicts=()
+replaces=()
+backup=()
+options=(!strip)
+install=
+changelog=CHANGELOG.md
+source=()
+noextract=()
+md5sums=()
+validpgpkeys=()
+
+prepare() {
+	true
+}
+
+build() {
+	cd ..
+	mvn --batch-mode package -DskipTests -Dllvm.backend.prefix=/usr -Dllvm.backend.destdir="$srcdir"
+}
+
+check() {
+	true
+}
+
+package() {
+	cd ..
+	DESTDIR="$pkgdir" PREFIX="/usr" package/package
+	install -Dm644 LICENSE.md "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+}