3
# Needs COQTOP and GALLINA set
5
# On garde la liste de tous les *.v avec dates dans library.files.ls
6
# Si elle a change depuis la derniere fois ou library.files n'existe pas
7
# on fabrique des .g (si besoin) et la liste library.files dans
8
# l'ordre de ls -tr des *.vo
9
# Ce dernier trie les fichiers dans l'ordre inverse de leur date de cr�ation
10
# En supposant que make fait son boulot, ca fait un tri topologique du
11
# graphe des d�pendances
13
LIBDIRS="Arith NArith ZArith Reals Logic Bool Lists IntMap Relations Sets Sorting Wellfounded Setoids"
15
rm -f library.files.ls.tmp
16
(cd $COQTOP/theories; find $LIBDIR -name "*.v" -ls) > library.files.ls.tmp
17
if ! test -e library.files || ! cmp library.files.ls library.files.ls.tmp; then
18
mv -f library.files.ls.tmp library.files.ls
19
rm -f library.files; touch library.files
20
ABSOLUTE=`pwd`/library.files
23
for rep in $LIBDIRS ; do
25
echo $rep/intro.tex >> $ABSOLUTE
27
for file in $VOFILES ; do
28
VF=`basename $file \.vo`
29
if [ \( ! -e $VF.g \) -o \( $VF.v -nt $VF.g \) ] ; then
32
echo $rep/$VF.g >> $ABSOLUTE