etc/utils/ssrcoqdep


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

#!/bin/bash

args="$@"
echo "calling coqdep on $args" 1>&2

mkdir bkpcoqdep

while [[ $# > 0 ]]
do
key="$1"

case $key in
    *.v)
        cp $key bkpcoqdep/$key
	sed "s/^From.*//" -i $key
    ;;
    *)
    ;;
esac
shift
done

COQBIN="$(dirname $(which coqtop))/"
$COQBIN/coqdep $args

mv bkpcoqdep/* .
rmdir bkpcoqdep