Actually install ulib

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5292d1c8c9d0..262f2139e1a6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = fstar-ulib
 	pkgdesc = compiles the ulib component of F*
 	pkgver = 0.9.6.0
-	pkgrel = 6
+	pkgrel = 7
 	url = https://www.fstar-lang.org/
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index fe08d00f2443..029e6e4e738a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=fstar-ulib
 pkgver=0.9.6.0
-pkgrel=6
+pkgrel=7
 pkgdesc="compiles the ulib component of F*"
 arch=('i686' 'x86_64')
 url='https://www.fstar-lang.org/'
@@ -19,5 +19,5 @@ build() {
 }
 
 package() {
-  install -dm 755 "fstar/ulib"
+  install -dm 755 fstar/ulib /opt/fstar/ulib
 }