diff options
author | Andrew Cady <d@jerkface.net> | 2022-02-21 21:50:55 -0500 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2022-02-21 21:51:26 -0500 |
commit | 9f1b70258fab2146143cf7e41dcae0245a92f1dd (patch) | |
tree | 1805044e96c9b05b5e7568ed9cc379154df1c575 /debian/rules | |
parent | aa96fc61a41d694f4ae9cf5247d5b624e2a6ec78 (diff) |
patch debian/rulesdev
Diffstat (limited to 'debian/rules')
-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/ | ||