From 9d56a1a043ec2aa3565a33074ecd11103ba09a97 Mon Sep 17 00:00:00 2001
From: Arnaud Degroote <arnaud.degroote@isae-supaero.fr>
Date: Mon, 2 Mar 2015 11:24:16 +0100
Subject: [PATCH] [wip/certi] Force the flag
CERTI_USE_NULL_PRIME_MESSAGE_PROTOCOL
Requested by several CERTI users.
---
certi/Makefile | 3 +++
1 file changed, 3 insertions(+)
diff --git a/certi/Makefile b/certi/Makefile
index f3890b44..5b01bb37 100644
--- a/certi/Makefile
+++ b/certi/Makefile
@@ -3,6 +3,7 @@
#
PKG_VERSION= 3.4.3
+PKGREVISION= 1
DISTNAME= CERTI-${PKG_VERSION}-Source
PKGNAME= certi-${PKG_VERSION}
CATEGORIES= architecture
@@ -16,6 +17,8 @@ LICENSE= gnu-gpl-v2
DEPEND_ABI.cmake= cmake>=2.8.11
+CMAKE_ARGS+= -DCERTI_USE_NULL_PRIME_MESSAGE_PROTOCOL=ON
+
PKG_SUPPORTED_OPTIONS+= gui
PKG_OPTION_DESCR.gui= Enable GUI support
define PKG_OPTION_SET.gui
--
GitLab