From 6063d3f3f77c39bad134a4c52be10330a4ab071e Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 16 Jan 2017 14:50:22 +0100
Subject: [PATCH] Compiler/root/build6 - adapt config for Darwin

---
 Compiler/root/build6 | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/Compiler/root/build6 b/Compiler/root/build6
index d506a42..e09e146 100755
--- a/Compiler/root/build6
+++ b/Compiler/root/build6
@@ -8,8 +8,7 @@ config_args=''
 case ${OS} in
 Darwin )
 	# cocoa doesn't work with GCC!?
-	#config_args='--enable-cocoa --disable-x11'
-	#config_args+=' --with-finkdir=/opt/X11 --disable-cocoa'
+	config_args='-Dcocoa=OFF'
 	;;
 Linux )
 	INSTANTCLIENT_INCLUDE_DIR='/usr/lib/oracle/12.1/client64/include'
@@ -36,7 +35,7 @@ pbuild::configure() {
 }
 
 pbuild::build() {
-	cmake --build . -- -j3
+	cmake --build . -- -j3 VERBOSE=1
 }
 
 pbuild::install() {