From e8aecbb419b6eee501e8bd96ef61661eed4b1a3a Mon Sep 17 00:00:00 2001
From: Andreas Suter <andreas.suter@psi.ch>
Date: Sun, 20 May 2018 14:21:20 +0200
Subject: [PATCH] cuba library: prevent duplicated symbols if fork is
 available.

---
 src/external/libCuba/src/common/Fork.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/external/libCuba/src/common/Fork.c b/src/external/libCuba/src/common/Fork.c
index 99605d25..82e21349 100644
--- a/src/external/libCuba/src/common/Fork.c
+++ b/src/external/libCuba/src/common/Fork.c
@@ -16,7 +16,7 @@
 
 #define MINCORES 1
 
-coreinit cubafun_;
+extern coreinit cubafun_;
 extern int cubaverb_;
 extern corespec cubaworkers_;