Install synthesis lib

2 files changed, 5 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 85c223dbfbde..190d5b1790e0 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 # Generated by mksrcinfo v8
-# Tue Sep 10 06:46:27 UTC 2019
+# Tue Sep 10 17:02:48 UTC 2019
 pkgbase = ghdl-mcode-git
-	pkgdesc = VHDL simulator - mcode backend
+	pkgdesc = VHDL simulator - mcode back-end
 	pkgver = 0.37dev.git20190907
 	pkgrel = 1
 	url = https://github.com/ghdl/ghdl
diff --git a/PKGBUILD b/PKGBUILD
index df03c322ad5b..2caf21d6ca05 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@ pkgname=ghdl-mcode-git
 pkgver=0.37dev.git20190907
 pkgrel=1
 arch=('i686' 'x86_64')
-pkgdesc='VHDL simulator - mcode backend'
+pkgdesc='VHDL simulator - mcode back-end'
 url='https://github.com/ghdl/ghdl'
 license=('GPLv2')
 
@@ -43,5 +43,7 @@ package() {
 	cd "${srcdir}/ghdl"
 
 	make DESTDIR="${pkgdir}" install
+	# Install library for synthesis
+	make DESTDIR="${pkgdir}" install.libghdlsynth
 
 }