diff options
author | taskie | 2018-05-13 05:15:29 +0900 |
---|---|---|
committer | taskie | 2018-05-13 05:15:29 +0900 |
commit | 8135c3853c7f6eef401b39207a0fe7d719bd5f75 (patch) | |
tree | c0034b4f9bb83eae34e12ff6b1ba382ba38991f2 | |
parent | a620de6ac02c374b4be5ec802d4ffb7fe85ae415 (diff) | |
download | aur-8135c3853c7f6eef401b39207a0fe7d719bd5f75.tar.gz |
use satysfi-external-repo.git
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = satysfi-git pkgdesc = A statically-typed, functional typesetting system - pkgver = r1362.b88ae48 + pkgver = r1420.f032f1a pkgrel = 1 url = https://github.com/gfngfn/SATySFi arch = x86_64 @@ -2,7 +2,7 @@ pkgname=satysfi-git _pkgname=SATySFi -pkgver=r1362.b88ae48 +pkgver=r1420.f032f1a pkgrel=1 pkgdesc='A statically-typed, functional typesetting system' arch=('x86_64') @@ -28,7 +28,7 @@ build() { export OPAMYES=1 opam init --no-setup eval "$(opam config env)" - opam pin add jbuilder 1.0+beta17 + opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git opam pin add --no-action satysfi . # bypass "ERROR: Preinstalled ocamlbuild detected at ..." export CHECK_IF_PREINSTALLED=false |