From 6ce9feb06e33a42146b9d02bc7c33403b2028053 Mon Sep 17 00:00:00 2001
From: Mamoun Gharbi <mamoun.gharbi@laas.fr>
Date: Mon, 16 Dec 2013 17:51:10 +0100
Subject: [PATCH] Adding handling of Mightabilities on spark and mhp

---
 mhp-genom/Makefile   | 14 ++++++++++++++
 spark-genom/Makefile | 11 +++++++++++
 2 files changed, 25 insertions(+)

diff --git a/mhp-genom/Makefile b/mhp-genom/Makefile
index 4dfb48c0..312f5d52 100644
--- a/mhp-genom/Makefile
+++ b/mhp-genom/Makefile
@@ -109,6 +109,20 @@ endef
 
 PKG_SUGGESTED_OPTIONS+=	spark
 
+##
+## USE_MIGHTABILITY_MAPS synchonization
+##
+PKG_SUPPORTED_OPTIONS+=	mightability
+PKG_OPTION_DESCR.mightability=	Enable mightabilities functions
+
+define PKG_OPTION_SET.mightability
+  GENOM_ARGS+= -DUSE_MIGHTABILITY_MAPS
+endef
+
+PKG_SUGGESTED_OPTIONS+=	mightability
+
+
+
 #####################
 
 GENOM_MODULE=		mhp
diff --git a/spark-genom/Makefile b/spark-genom/Makefile
index da79f59b..152f6e29 100644
--- a/spark-genom/Makefile
+++ b/spark-genom/Makefile
@@ -77,6 +77,17 @@ define PKG_OPTION_SET.oro
   include ../../knowledge/liboro/depend.mk
 endef
 
+##
+## USE_MIGHTABILITY_MAPS option
+##
+PKG_SUPPORTED_OPTIONS+=	mightability
+PKG_OPTION_DESCR.mightability=	Enable  mightabilities functions
+
+define PKG_OPTION_SET.oro
+   GENOM_ARGS+= -DUSE_MIGHTABILITY_MAPS
+endef
+
+PKG_SUGGESTED_OPTIONS+= mightability
 
 ##
 ## Attentional
-- 
GitLab