diff --git a/srcpkgs/ghdl/template b/srcpkgs/ghdl/template index 3bf56863645..5e496f0c446 100644 --- a/srcpkgs/ghdl/template +++ b/srcpkgs/ghdl/template @@ -7,7 +7,7 @@ pkgname=ghdl reverts="20181129_1" version=4.1.0 -revision=1 +revision=2 build_style=configure configure_args="--prefix=/usr --srcdir=.. --disable-werror" makedepends="zlib-devel" @@ -73,11 +73,9 @@ do_install() { # install whatever backends we have if [ "$build_option_mcode" ]; then make -C build_mcode DESTDIR=${DESTDIR} install - rm -rf ${DESTDIR}/usr/lib/ghdl/src fi if [ "$build_option_llvm" ]; then make -C build_llvm DESTDIR=${DESTDIR} install - rm -rf ${DESTDIR}/usr/lib/ghdl/src fi # manpage is not installed by default vman doc/ghdl.1