diff options
author | mb64 | 2020-06-29 00:24:02 -0400 |
---|---|---|
committer | mb64 | 2020-06-29 00:24:02 -0400 |
commit | dbe56a5112765f8663de3f4cc1906f6f8d0c2a44 (patch) | |
tree | a9884d25a76ac31ba38384f64c2d6134fce114cf | |
parent | f0aa0c8a8a3430087f3543fb7a946eb4a801dda2 (diff) | |
download | aur-dbe56a5112765f8663de3f4cc1906f6f8d0c2a44.tar.gz |
Fix order of installing packages (network now depends on contrib)
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 ../.. |