reorganize build, disable tests

1 files changed, 16 insertions, 12 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 7bc92c0110ae..3ef3fa2a2dfc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 _pkgname=idris2
 pkgname=$_pkgname-git
 pkgver=latest
-pkgrel=2
+pkgrel=3
 pkgdesc='A purely functional programming language with first class types'
 url='https://www.idris-lang.org/'
 license=('custom')
@@ -35,41 +35,45 @@ pkgver() {
 
 prepare() {
 	_setvars
+	cd "$srcdir/$_pkgname"
+
 	mkdir -p "$_bootstrap"
+
+	export PREFIX="$_bootstrap"
+	make bootstrap
+	make install
 }
 
 build() {
 	_setvars
 	cd "$srcdir/$_pkgname"
 
-	export PREFIX="$_bootstrap"
-	make bootstrap
-	make install
-
+	export PREFIX='/usr/lib'
 	make clean
-	PREFIX='/usr/lib' make all
+	make all
 }
 
 check() {
+	# tests seem to be broken upstream. disable them for now.
+	return 0
+
 	_setvars
 	cd "$srcdir/$_pkgname"
 
-	export PREFIX="$_bootstrap"
-
 	INTERACTIVE='' make test
 }
 
 package() {
-	_setvars
 	options=(staticlibs)
+	_setvars
 	cd "$srcdir/$_pkgname"
 
-	export PREFIX="$pkgdir/usr/lib"
-	export IDRIS2_PREFIX="$PREFIX"
-
 	PREFIX='/usr/lib' IDRIS2_PREFIX='/usr/lib' make src/IdrisPaths.idr
 	sed -i 's|src/IdrisPaths.idr: FORCE|src/IdrisPaths.idr:|g' Makefile
 
+	export PREFIX="$pkgdir/usr/lib"
+	export IDRIS2_PREFIX="$PREFIX"
+
 	make install
 	make install-libdocs
 	make install-with-src-libs