extra-cmake-modules rebuild

2015-11-20 13:11:00 +02:00
parent c899e077c3
commit a81c4c6d0e
1 changed files with 1 additions and 3 deletions
@@ -10,9 +10,7 @@ from pisi.actionsapi import pisitools
 from pisi.actionsapi import shelltools

 def setup():
-    cmaketools.configure("-DCMAKE_INSTALL_PREFIX=/usr \
-                          -DCMAKE_BUILD_TYPE=Release \
-                          -DBUILD_HTML_DOCS=OFF \
+    cmaketools.configure("-DBUILD_HTML_DOCS=OFF \
                          -DBUILD_MAN_DOCS=OFF", sourceDir=".")

 def build():