diff options
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 55f21dc7..e8f4d309 100755 --- a/debian/rules +++ b/debian/rules | |||
@@ -18,3 +18,6 @@ endif | |||
18 | 18 | ||
19 | %: | 19 | %: |
20 | dh $@ --buildsystem=cmake | 20 | dh $@ --buildsystem=cmake |
21 | |||
22 | override_dh_auto_configure: | ||
23 | dh_auto_configure -- $(LAGRANGE_CMAKE_FLAGS) -DCMAKE_INSTALL_PREFIX=/usr/ | ||