diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Wed May 15 12:46:24 UTC 2019 +# Wed May 15 13:28:41 UTC 2019 pkgbase = nusmv pkgdesc = A new symbolic model checker pkgver = 2.6.0 @@ -41,6 +41,12 @@ build() { cd build cmake .. -DPYTHON_EXECUTABLE=/bin/python2 -DCMAKE_INSTALL_PREFIX=/usr -Wno-dev make + + # For some reason the cmake makefiles don't call this, leading to an error + # at install time. + pushd doc/prog-man + doxygen doxygen_nusmv_html.conf + popd } package() { |