0001-Fix-make-invocations.patch

From db8f99e61e6995ab7797fc9ccc708e624ee512c9 Mon Sep 17 00:00:00 2001
From: Philipp Joram <mail [at] phijor [dot] me>
Date: Wed, 19 Jan 2022 16:16:30 +0200
Subject: [PATCH] Fix make invocations

* Actually build the package in `build()`.
* Do not run the build steps in `package()`, only install the files.
---
 PKGBUILD | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/PKGBUILD b/PKGBUILD
index c6e4a27..e525721 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -18,10 +18,10 @@ _srcname="idris2-lsp"
 build() {
     cd "$srcdir/$_srcname"
     git checkout idris2-$pkgver
-    make clean
+    make build
 }
 
 package() {
     cd "$srcdir/$_srcname"
-    PREFIX="$pkgdir/usr" make install # Install idris2-lsp
+    PREFIX="$pkgdir/usr" make install-only # Install idris2-lsp
 }
-- 
2.34.1