blob: 8ef5422af93619c9101d777979f3d8196d107f01 (
plain)
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
27
28
29
30
31
32
|
#!/bin/bash
args="$@"
echo "calling coqdep on $args" 1>&2
mkdir bkpcoqdep
while [[ $# > 0 ]]
do
key="$1"
case $key in
*.v)
mkdir -p $(dirname bkpcoqdep/$key)
cp $key bkpcoqdep/$key
sed "s/^From.*//" -i $key
;;
*)
;;
esac
shift
done
COQBIN="$(dirname $(which coqtop))/"
$COQBIN/coqdep $args
for f in $(find bkpcoqdep -name "*.v")
do
mv $f ${f##bkpcoqdep/}
done
rm -rf bkpcoqdep
|
