summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2020-10-25 02:08:03 +0300
committerManos Pitsidianakis <el13635@mail.ntua.gr>2020-10-25 02:08:03 +0300
commite5b6461ea3cf49254062387c0451cc0386a12b02 (patch)
treea94b3e2b0980ec1c08459b68e848d9083faee9ff /debian/rules
parenta0e9a0760267c6a11f24e4800caa5bd25e2aa3bb (diff)
Add debian/ dir for debian packaging
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules12
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
2export DH_VERBOSE = 1
3export DEB_BUILD_MAINT_OPTIONS=hardening=-format
4
5%:
6 dh $@
7
8override_dh_auto_configure:
9 cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$(pwd)/../usr
10
11override_dh_build_configure:
12 cmake --build .