From 3a46ad23caede2d601e40d76f9cfe9f9d8f18439 Mon Sep 17 00:00:00 2001
From: Mamoun Gharbi <mamoun.gharbi@laas.fr>
Date: Fri, 11 Jan 2013 16:45:13 +0100
Subject: [PATCH] [wip/mhp-genom] bump to version 3.13

- Using HRI_COSTSPACE
- upgrading mightabilities (agent, tasks)
- using T-rrt and fullbodymotion
- upgrading and customizing OTP
---
 mhp-genom/Makefile  | 2 +-
 mhp-genom/depend.mk | 2 +-
 mhp-genom/distinfo  | 6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/mhp-genom/Makefile b/mhp-genom/Makefile
index a0a5948d..30bf9070 100644
--- a/mhp-genom/Makefile
+++ b/mhp-genom/Makefile
@@ -2,7 +2,7 @@
 # Created:			Severin Lemaignan on Tue, 31 Aug 2010
 #
 
-DISTNAME=		mhp-genom-3.11.1
+DISTNAME=		mhp-genom-3.13
 CATEGORIES=		path
 MASTER_SITES=		${MASTER_SITE_OPENROBOTS:=mhp-genom/}
 MASTER_REPOSITORY=	${MASTER_REPOSITORY_OPENROBOTS}mhp-genom
diff --git a/mhp-genom/depend.mk b/mhp-genom/depend.mk
index 56a21063..85639e38 100644
--- a/mhp-genom/depend.mk
+++ b/mhp-genom/depend.mk
@@ -33,7 +33,7 @@ SYSTEM_SEARCH.mhp-genom=\
 
 DEPEND_USE+=		mhp-genom
 
-DEPEND_ABI.mhp-genom?=mhp-genom>=3.11
+DEPEND_ABI.mhp-genom?=mhp-genom>=3.13
 DEPEND_DIR.mhp-genom?=../../wip/mhp-genom
 
 #include ../../wip/??
diff --git a/mhp-genom/distinfo b/mhp-genom/distinfo
index d25f8b9c..e0d3d8b0 100644
--- a/mhp-genom/distinfo
+++ b/mhp-genom/distinfo
@@ -1,3 +1,3 @@
-SHA1 (mhp-genom-3.11.1.tar.gz) = 795c63076ecd35f53aa6c05d083c2996eade8355
-RMD160 (mhp-genom-3.11.1.tar.gz) = 785961ee8031d3cf5bc425696a9396b5a396baad
-Size (mhp-genom-3.11.1.tar.gz) = 44597 bytes
+SHA1 (mhp-genom-3.13.tar.gz) = 39f920ac30d94d30c137dc61a09b29a4575bb541
+RMD160 (mhp-genom-3.13.tar.gz) = 83474a7813aff5d5e2b24b1989322c539028ffb7
+Size (mhp-genom-3.13.tar.gz) = 45923 bytes
-- 
GitLab