[Pkg-ocaml-maint-commits] [why] 10/21: create bin dir before building

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository why.

commit 343a57c94040d59a0e46616eebf283f7fc9b3c1a
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Sep 30 21:33:25 2016 +0200

    create bin dir before building
---
 debian/changelog | 1 +
 debian/rules     | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 65fe2c0..34fc409 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,6 +13,7 @@ why (2.36-1) UNRELEASED; urgency=medium
   * Bump build-dependency on frama-c to magnesium.
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable tests
+  * d/rules: create bin directory before invoking dh_auto_build
 
  -- Ralf Treinen <treinen at debian.org>  Fri, 30 Sep 2016 21:28:43 +0200
 
diff --git a/debian/rules b/debian/rules
index 13baa84..ac764de 100755
--- a/debian/rules
+++ b/debian/rules
@@ -28,6 +28,10 @@ override_dh_auto_clean:
 	[ ! -f Makefile.debian ] || $(MAKE) -f Makefile.debian clean
 	$(RM) -f lib/coq/*.glob
 
+override_dh_auto_build:
+	mkdir -p bin
+	dh_auto_build
+
 override_dh_auto_install:
 	mkdir -p $(FRAMADIR)
 	$(MAKE) prefix=$(WHYDIR)/usr install \

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git