Modification to ensure that the Cubical interfaces are properly packaged.

2 files changed, 7 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1977353b15ca..3e4d04775ec6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = agda-git
 	pkgdesc = A dependently typed functional programming language and proof assistant: development version
-	pkgver = 2.5.1.r5468.a4e5f12bc
-	pkgrel = 1
+	pkgver = 2.5.1.r5471.51914041f
+	pkgrel = 2
 	url = http://wiki.portal.chalmers.se/agda/
 	arch = x86_64
 	license = custom
diff --git a/PKGBUILD b/PKGBUILD
index e8a3fd710aa0..1090c6b01b31 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: John Gowers <wjg27 AT bath DOT ac DOT uk>
 # See also the 'agda' package in the 'community' repository.
 pkgname=agda-git
-pkgver=2.5.1.r5468.a4e5f12bc
+pkgver=2.5.1.r5471.51914041f
 pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant: development version"
 arch=('x86_64')
@@ -37,6 +37,8 @@ prepare() {
 	sed -e "s|rawSystem agda \\[|rawSystem \"env\" [\"Agda_datadir=$PWD/lib-target\", \"LD_LIBRARY_PATH=$PWD/${pkgname%-git}/dist/build\", agda,|" \
 		-e "s|(ms, datadir dirs|(ms, \"$PWD/lib-target\"|" \
 		-i ${pkgname%-git}/Setup.hs
+	# Temporary workaround to problem where Sigma.agdai is not built.
+	sed 's/"Reflection", "Size"/"Reflection", "Sigma", "Size"/' -i ${pkgname%-git}/Setup.hs
 }
 
 build() {
@@ -63,6 +65,7 @@ package() {
 	rm -f "${pkgdir}/usr/share/doc/${pkgname%-git}/LICENSE"
 
 	install -m644 "$srcdir"/lib-target/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai
-  install -m644 "$srcdir"/lib-target/lib/prim/Agda/Primitive/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive/
+        install -m644 "$srcdir"/lib-target/lib/prim/Agda/Primitive/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive/
 	install -m644 "$srcdir"/lib-target/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/
+	install -m644 "$srcdir"/lib-target/lib/prim/Agda/Builtin/Cubical/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/Cubical/
 }