From d617180808ced50abb31dbc29bd4544cab7bedc5 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 16 Jan 2013 10:01:09 +0100
Subject: [PATCH] support for make'ing <package>.debian by simply calling make
 debian in that package

---
 Makefile | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Makefile b/Makefile
index 1a4c823d..2472f543 100644
--- a/Makefile
+++ b/Makefile
@@ -658,6 +658,17 @@ endef
 
 $(foreach package,$(ALL),$(eval $(call target_depends,$(package))))
 
+####################
+# very rough for now (one module per package), targets only sfa
+define target_debian
+$(1).debian:
+	mkdir -p DEBIAN/$(1)
+	rsync -av MODULES/$(1) DEBIAN/$(1)
+	make -C DEBIAN/$(1) debian
+endef
+
+$(foreach package,$(ALL),$(eval $(call target_debian,$(package))))
+
 ### clean target
 # usage: target_clean package
 define target_clean
-- 
2.43.0