diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:03 +0300 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-10-25 02:08:03 +0300 |
commit | e5b6461ea3cf49254062387c0451cc0386a12b02 (patch) | |
tree | a94b3e2b0980ec1c08459b68e848d9083faee9ff /debian/rules | |
parent | a0e9a0760267c6a11f24e4800caa5bd25e2aa3bb (diff) |
Add debian/ dir for debian packaging
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 00000000..ec48b3c2 --- /dev/null +++ b/debian/rules | |||
@@ -0,0 +1,12 @@ | |||
1 | #!/usr/bin/make -f | ||
2 | export DH_VERBOSE = 1 | ||
3 | export DEB_BUILD_MAINT_OPTIONS=hardening=-format | ||
4 | |||
5 | %: | ||
6 | dh $@ | ||
7 | |||
8 | override_dh_auto_configure: | ||
9 | cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$(pwd)/../usr | ||
10 | |||
11 | override_dh_build_configure: | ||
12 | cmake --build . | ||