summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authormb642020-06-29 00:24:02 -0400
committermb642020-06-29 00:24:02 -0400
commitdbe56a5112765f8663de3f4cc1906f6f8d0c2a44 (patch)
treea9884d25a76ac31ba38384f64c2d6134fce114cf
parentf0aa0c8a8a3430087f3543fb7a946eb4a801dda2 (diff)
downloadaur-dbe56a5112765f8663de3f4cc1906f6f8d0c2a44.tar.gz
Fix order of installing packages (network now depends on contrib)
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index e3ece225465..0126970d866 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
#
pkgname=idris2-git
-pkgver=0.2.0.r100.ge4c6aa2
+pkgver=0.2.0.r404.g31b486c
pkgrel=1
pkgdesc="Funtional Programming Lanugage with Dependent Types"
url="https://www.idris-lang.org/"
@@ -50,7 +50,7 @@ package() {
PREFIX="$pkgdir/usr/lib" make install-idris2
PREFIX="$pkgdir/usr/lib" make install-support
- for lib in prelude base network contrib ; do
+ for lib in prelude base contrib network ; do
cd libs/$lib
IDRIS2_PREFIX="$pkgdir/usr/lib" ../../build/exec/idris2 --install $lib.ipkg
cd ../..