summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMithicSpirit2023-02-16 17:51:31 -0500
committerMithicSpirit2023-02-16 17:51:31 -0500
commita65ab1ef4b61738df113bb499ad47cf4314d9739 (patch)
treeb33631d5fa41b22a5a033a4be9313d5ac94e0e9c
parent790cd78d12e751ef0fc68e8526cd16e0057c157a (diff)
downloadaur-a65ab1ef4b61738df113bb499ad47cf4314d9739.tar.gz
add optdepeds for different backends
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD5
2 files changed, 11 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index d4328a630c3a..53394c8dbe80 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,18 @@
pkgbase = idris2-git
pkgdesc = A purely functional programming language with first class types
pkgver = latest
- pkgrel = 2
+ pkgrel = 4
url = https://www.idris-lang.org/
arch = x86_64
license = custom
checkdepends = nodejs
+ checkdepends = racket
makedepends = git
depends = chez-scheme
+ depends = sh
+ optdepends = nodejs: javascript backend
+ optdepends = racket: racket backend
+ optdepends = cc: refc backend
provides = idris2
conflicts = idris2
options = staticlibs
@@ -15,3 +20,4 @@ pkgbase = idris2-git
sha256sums = SKIP
pkgname = idris2-git
+ options = staticlibs
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")