From 8b0bc12033b69fe5c722e668058ca25d3af7440a Mon Sep 17 00:00:00 2001 From: Akin Sisbot <easisbot@laas.fr> Date: Wed, 27 Oct 2010 17:08:47 +0200 Subject: [PATCH] [wip/mhp-genom] Small patch to fix disabling of Read* when -DSPARK is given --- mhp-genom/distinfo | 1 + mhp-genom/patches/patch-aa | 13 +++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 mhp-genom/patches/patch-aa diff --git a/mhp-genom/distinfo b/mhp-genom/distinfo index 55193d57..d18cbfa2 100644 --- a/mhp-genom/distinfo +++ b/mhp-genom/distinfo @@ -1,3 +1,4 @@ SHA1 (mhp-genom-2.9.tar.gz) = c039db04dc49065509f74663b4964dd1818466ae RMD160 (mhp-genom-2.9.tar.gz) = d645517d43e654733d74254a7445a2d396971341 Size (mhp-genom-2.9.tar.gz) = 52661 bytes +SHA1 (patch-aa) = 2158db5a10776ac862e6220c62d4b8a80aceee27 diff --git a/mhp-genom/patches/patch-aa b/mhp-genom/patches/patch-aa new file mode 100644 index 00000000..1895bdb3 --- /dev/null +++ b/mhp-genom/patches/patch-aa @@ -0,0 +1,13 @@ +diff --git a/codels/mhpEnvironmentCodels.cc b/codels/mhpEnvironmentCodels.cc +index dd47800..9d81745 100644 +--- codels/mhpEnvironmentCodels.cc ++++ codels/mhpEnvironmentCodels.cc +@@ -190,7 +190,7 @@ static int mhp_push_position_to_history(MHP_AGENT_HISTORY *history, int agent_no + /* -------------------------------------------------------------- */ + + +-#if !defined(SIMULATION) ++#if !defined(SIMULATION) && !defined(SPARK) + + /* ----------------------- OBJECT READ ------------------------ */ + -- GitLab