1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
#!/usr/bin/bash
export COQBIN=$BIN
export PATH=$COQBIN:$PATH
TMP=`mktemp -d`
cd $TMP
function assert_eq() {
if [ "$1" != "$2" ]; then
echo "rocq makefile generates destination $1 != $2"
cd /
rm -rf "$TMP"
exit 1
fi
}
assert_eq `rocq makefile -destination-of src/Y/Z/Test.v -Q src X` "X//Y/Z"
mkdir src
assert_eq `rocq 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 `rocq makefile -destination-of src/Y/Z/Test.v -Q src X` "X//Y/Z"
cd /
rm -rf "$TMP"
exit 0
|
