summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authortaskie2018-05-13 05:15:29 +0900
committertaskie2018-05-13 05:15:29 +0900
commit8135c3853c7f6eef401b39207a0fe7d719bd5f75 (patch)
treec0034b4f9bb83eae34e12ff6b1ba382ba38991f2
parenta620de6ac02c374b4be5ec802d4ffb7fe85ae415 (diff)
downloadaur-8135c3853c7f6eef401b39207a0fe7d719bd5f75.tar.gz
use satysfi-external-repo.git
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0e659bc37494..54f4d28a8eaa 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index df773383a594..cf07951bb596 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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