From 7d95eb2ad556102dbb3514ef17299fcc3c3b57b4 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 27 Nov 2017 21:17:24 +0100
Subject: Use greadlink on Darwin.

Fix #463
---
 libraries/vendors/shared.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libraries/vendors/shared.sh b/libraries/vendors/shared.sh
index 6b77b2f5e..1c672fb13 100644
--- a/libraries/vendors/shared.sh
+++ b/libraries/vendors/shared.sh
@@ -76,7 +76,8 @@ SetupDirectories() {
 	fi
 
 	# Resolve paths to an absolute paths
-	SourceDirectory=$(readlink -f $SourceDirectory)
+	READLINK=readlink; if [[ $(uname) == "Darwin" ]]; then READLINK=greadlink; fi
+	SourceDirectory=$($READLINK -f $SourceDirectory)
 	if [[ ! "$DestinationDirectory" = /* ]]; then
 		DestinationDirectory=$WorkingDir/$DestinationDirectory
 	fi
-- 
cgit v1.2.3