1 files changed, 3 insertions, 1 deletions
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
 
 }