summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Szczuczko2019-05-15 07:27:57 -0600
committerAlex Szczuczko2019-05-15 07:28:56 -0600
commit4144fd7f9de434cc780266d86c5726fc5db29e3d (patch)
treea7718c8102c4313d9387c2fd37384f3d831859ae
parent81798a425867cc7c38b9c71e076c3709e1ebb4e0 (diff)
downloadaur-4144fd7f9de434cc780266d86c5726fc5db29e3d.tar.gz
Force html documentation to be generated
Otherwise the install will fail, complaining that its missing.
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 1 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 879ad16e34b..bab5d98f06c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index cdd321fef4a..066120bb14c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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() {