From 1ecf038840ac6b4962988aa6ee25f2f75d7a76f2 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Mon, 9 May 2016 16:47:00 +0200
Subject: [PATCH] Fix static linking

---
 _oasis | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_oasis b/_oasis
index 044ad49..707258a 100644
--- a/_oasis
+++ b/_oasis
@@ -100,7 +100,7 @@ Executable coalg
   ByteOpt:        -cc g++
   CCOpt: -std=c++98 -x c++
   if flag(static)
-    CCLib:            -static
+    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
 
 Executable "cool-owl"
   CompiledObject:   native
@@ -160,7 +160,7 @@ Executable debugger
   ByteOpt:        -cc g++
   CCOpt: -std=c++98 -x c++
   if flag(static)
-    CCLib:            -static
+    CCLib:            -static -lz -ldl -lltdl
 
 
 
-- 
GitLab