diff options
author | taskie | 2018-02-19 01:09:41 +0900 |
---|---|---|
committer | taskie | 2018-02-19 01:09:41 +0900 |
commit | 46050d8052c1871a632b57f154e460cf375d453e (patch) | |
tree | 769250a40d59e5080227208b0306e3c3715b889b | |
parent | a26c94e7aebc1ac7d62ecaf27e6cb9bf78b41614 (diff) | |
download | aur-46050d8052c1871a632b57f154e460cf375d453e.tar.gz |
export CHECK_IF_PREINSTALLED=false
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 6 insertions, 4 deletions
@@ -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 @@ -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 . } |