diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-10-09 12:15:00 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-10-09 15:46:42 +0200 |
commit | ee84975c98c897c7fb171663876ed60ea965ad4f (patch) | |
tree | 1f8b6e19b5530f4d299fe8562fc9bfed480dd2c2 /debian/rules | |
parent | e1138e5af8b13c2c543016df480d5d9db711e2ff (diff) |
Enable examples etc.
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 0def2c1d..73d0e213 100755 --- a/debian/rules +++ b/debian/rules @@ -10,6 +10,9 @@ LDFLAGS:=$(shell dpkg-buildflags --get LDFLAGS) # of documentation and examples, which are not installed by upstream. dh $@ --with=python3 --builddirectory=build +override_dh_auto_configure: + dh_auto_configure -- -DWITH_GUDHI_BENCHMARK=true -DWITH_GUDHI_EXAMPLE=true -DWITH_GUDHI_PYTHON=true -DWITH_GUDHI_TEST=true -DWITH_GUDHI_UTILITIES=true + override_dh_auto_clean: rm -f GUDHIVersion.cmake rm -rf doc/html |