From ff5922861708435bdd0a0a2203bf4e7ba2a1c1da Mon Sep 17 00:00:00 2001 From: Keith Packard Date: Wed, 9 Oct 2013 16:00:06 -0700 Subject: [PATCH] Set prefix on make command line This makes the debian build process cleaner Signed-off-by: Keith Packard --- debian/changelog | 2 +- debian/rules | 11 ++++++++--- debian/source/format | 2 +- 3 files changed, 10 insertions(+), 5 deletions(-) diff --git a/debian/changelog b/debian/changelog index d187dd1..b8bdde1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -pdclib-arm-none-eabi (1.0) unstable; urgency=low +pdclib-arm-none-eabi (0.5-1) unstable; urgency=low * Initial release. (Closes: #XXXXXX) diff --git a/debian/rules b/debian/rules index 7fa8381..f69becc 100755 --- a/debian/rules +++ b/debian/rules @@ -1,10 +1,15 @@ #!/usr/bin/make -f +DH_VERBOSE=1 + %: dh $@ -override_dh_auto_configure: - echo prefix=/usr/lib/arm-none-eabi > Makedefs +override_dh_auto_install: + dh_auto_install -- prefix=/usr/lib/arm-none-eabi override_dh_auto_test: - echo 'no tests needed' \ No newline at end of file + echo 'no tests needed' + +override_dh_strip: + echo 'no stripping needed' \ No newline at end of file diff --git a/debian/source/format b/debian/source/format index 89ae9db..d3827e7 100644 --- a/debian/source/format +++ b/debian/source/format @@ -1 +1 @@ -3.0 (native) +1.0 -- 2.30.2