Skip to content
Snippets Groups Projects
Commit 5356472b authored by Raphaël Lallement's avatar Raphaël Lallement
Browse files

[wip/hatponboard] Add compilation option

Option allow to choose whether to test the methods goal or not
parent f6b6d29a
No related branches found
No related tags found
No related merge requests found
......@@ -19,9 +19,18 @@ MAKE_JOBS_SAFE= yes
DEPEND_ABI.boost-libs=boost-libs>=1.34
DEPEND_ABI.boost-headers=boost-headers>=1.34
PKG_SUPPORTED_OPTIONS+= enable-goal
PKG_SUGGESTED_OPTIONS+= enable-goal
PKG_OPTION_DESCR.enable-goal= Enable the verification of methods goal after their projection
define PKG_OPTION_SET.enable-goal
CMAKE_ARGS+= -DENABLE_METHOD_GOAL_TEST=ON
endef
define PKG_OPTION_UNSET.enable-goal
CMAKE_ARGS+= -DENABLE_METHOD_GOAL_TEST=OFF
endef
PKG_SUPPORTED_OPTIONS+= doc
PKG_OPTION_DESCR.doc= Enable the documentation generation
define PKG_OPTION_SET.doc
include ../../mk/sysdep/doxygen.mk
endef
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment