patch ssrcoqdep

math-comp · Jul 21, 2015 · d410a44 · d410a44
1 parent 40021d4
commit d410a44
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/etc/utils/ssrcoqdep b/etc/utils/ssrcoqdep
@@ -11,6 +11,7 @@ key="$1"
 
 case $key in
     *.v)
+	mkdir -p $(dirname bkpcoqdep/$key)
         cp $key bkpcoqdep/$key
 	sed "s/^From.*//" -i $key
     ;;
@@ -23,5 +24,9 @@ done
 COQBIN="$(dirname $(which coqtop))/"
 $COQBIN/coqdep $args
 
-mv bkpcoqdep/* .
-rmdir bkpcoqdep
+for f in $(find bkpcoqdep -name "*.v")
+do
+mv $f ${f##bkpcoqdep/}
+done
+
+rm -rf bkpcoqdep