summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authortaskie2018-02-19 01:09:41 +0900
committertaskie2018-02-19 01:09:41 +0900
commit46050d8052c1871a632b57f154e460cf375d453e (patch)
tree769250a40d59e5080227208b0306e3c3715b889b
parenta26c94e7aebc1ac7d62ecaf27e6cb9bf78b41614 (diff)
downloadaur-46050d8052c1871a632b57f154e460cf375d453e.tar.gz
export CHECK_IF_PREINSTALLED=false
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD6
2 files changed, 6 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 104320260d42..8fcad492adea 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = satysfi-git
- pkgdesc = A new typesetting system with a static type system
+ pkgdesc = A statically-typed, functional typesetting system
pkgver = r1306.baa8057
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/gfngfn/SATySFi
arch = x86_64
license = LGPL3
diff --git a/PKGBUILD b/PKGBUILD
index 5efb0c48062c..221de1dcb929 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,8 +3,8 @@
pkgname=satysfi-git
_pkgname=SATySFi
pkgver=r1306.baa8057
-pkgrel=1
-pkgdesc="A new typesetting system with a static type system"
+pkgrel=2
+pkgdesc="A statically-typed, functional typesetting system"
arch=('x86_64')
url="https://github.com/gfngfn/SATySFi"
license=('LGPL3')
@@ -27,6 +27,8 @@ build() {
export OPAMROOT="${srcdir}/.opam"
opam init --yes --no-setup
eval "$(opam config env)"
+ # bypass "ERROR: Preinstalled ocamlbuild detected at ..."
+ export CHECK_IF_PREINSTALLED=false
opam pin add --yes satysfi .
}