summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorMithicSpirit2023-02-16 17:51:31 -0500
committerMithicSpirit2023-02-16 17:51:31 -0500
commita65ab1ef4b61738df113bb499ad47cf4314d9739 (patch)
treeb33631d5fa41b22a5a033a4be9313d5ac94e0e9c /PKGBUILD
parent790cd78d12e751ef0fc68e8526cd16e0057c157a (diff)
downloadaur-a65ab1ef4b61738df113bb499ad47cf4314d9739.tar.gz
add optdepeds for different backends
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD5
1 files changed, 4 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 425d1dc6f839..1af88d5a08ea 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
_pkgname=idris2
pkgname=$_pkgname-git
pkgver=latest
-pkgrel=3
+pkgrel=4
pkgdesc='A purely functional programming language with first class types'
url='https://www.idris-lang.org/'
license=('custom')
@@ -12,6 +12,9 @@ arch=('x86_64')
depends=('chez-scheme' 'sh')
makedepends=('git')
checkdepends=('nodejs' 'racket')
+optdepends=('nodejs: javascript backend'
+ 'racket: racket backend'
+ 'cc: refc backend')
provides=("$_pkgname")
conflicts=("$_pkgname")
source=("$_pkgname::git+https://github.com/idris-lang/${_pkgname^}.git")