upgpkg: mint 0.13.1-4

1 files changed, 8 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index a67f8fda3250..ee7165517d4a 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=mint
 pkgver=0.13.1
-pkgrel=3
+pkgrel=4
 pkgdesc='A refreshing language for the front-end web'
 arch=('x86_64')
 url='https://github.com/mint-lang/mint'
@@ -14,11 +14,16 @@ sha256sums=('35d1943d8deab5240471565ad90b0d26fe343baa69950ee87e03cfea61822f35')
 
 build() {
   cd "mint-${pkgver}"
-  PATH="/usr/bin" shards build --stats --progress --time --release --no-debug
+
+  # Force path location to avoid conflict with crystal version managers (crenv, ...)
+  PATH="/usr/bin"
+
+  shards install
+  crystal build --stats --progress --time --release --no-debug src/mint.cr
 }
 
 package() {
   cd "mint-${pkgver}"
-  install -Dm755 "bin/mint" "${pkgdir}/usr/bin/mint"
+  install -Dm755 mint "${pkgdir}/usr/bin/mint"
   install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/mint/LICENSE"
 }