Use system's readlink program to make things work with GNU make < 3.81

Signed-off-by: Jan Engelhardt <jengelh@computergmbh.de>

diff --git a/extensions/GNUmakefile.in b/extensions/GNUmakefile.in
index 8e59e627e92bb0bcc4a3362456986cf7a4f2890c..709fbc6fc2458c9ae32f05afd041758e84967d6c 100644 (file)
--- a/extensions/GNUmakefile.in
+++ b/extensions/GNUmakefile.in
@@ -2,8 +2,16 @@
 
 top_srcdir      := @top_srcdir@
 srcdir          := @srcdir@
-abstop_srcdir   := $(realpath ${top_srcdir})
-abssrcdir       := $(realpath ${srcdir})
+abstop_srcdir   := $(shell readlink -e ${top_srcdir})
+abssrcdir       := $(shell readlink -e ${srcdir})
+
+if (${abstop_srcdir},)
+$(error Path resolution of ${top_srcdir} failed)
+endif
+if (${abssrcdir},)
+$(error Path resolution of ${srcdir} failed)
+endif
+
 prefix          := @prefix@
 exec_prefix     := @exec_prefix@
 libdir          := @libdir@