From 2b258e90df02448341c051ac21b84cf1c7c20428 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 18 Sep 2020 13:59:30 +0200
Subject: [lib] make canonical_path_name always absolute (fix #13031)

---
 test-suite/misc/coq_makefile_destination_of.sh | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 test-suite/misc/coq_makefile_destination_of.sh

(limited to 'test-suite/misc')

diff --git a/test-suite/misc/coq_makefile_destination_of.sh b/test-suite/misc/coq_makefile_destination_of.sh
new file mode 100755
index 0000000000..fc8e089ccf
--- /dev/null
+++ b/test-suite/misc/coq_makefile_destination_of.sh
@@ -0,0 +1,26 @@
+#!/usr/bin/env bash
+
+export COQBIN=$BIN
+export PATH=$COQBIN:$PATH
+
+TMP=`mktemp -d`
+cd $TMP
+
+function assert_eq() {
+  if [ "$1" != "$2" ]; then
+    echo "coq_makefile generates destination" $1 "!=" $2
+    cd /
+    rm -rf $TMP
+    exit 1
+  fi
+}
+
+assert_eq `coq_makefile -destination-of src/Y/Z/Test.v -Q src X` "X//Y/Z"
+mkdir src
+assert_eq `coq_makefile -destination-of src/Y/Z/Test.v -Q src X` "X//Y/Z"
+mkdir -p src/Y/Z
+touch src/Y/Z/Test.v
+assert_eq `coq_makefile -destination-of src/Y/Z/Test.v -Q src X` "X//Y/Z"
+cd /
+rm -rf $TMP
+exit 0
-- 
cgit v1.2.3