commit 2128e48fee6f1621305b6f28143e0529e9fccedc parent 9cfb79d81185d045fcd2aa54b87aeb343efd1ae9 Auteur: Loïc Daignault-Pichette <loic@asteride.xyz> Date: Sun, 28 Sep 2025 22:24:47 -0400 [inf] Faciliter la génération de fichiers .att Diffstat:
| M | Makefile | | | 7 | +++++-- |
1 fichier modifié, 5 insertions(+), 2 suppressions(-)
diff --git a/Makefile b/Makefile @@ -1,8 +1,10 @@ .SUFFIXES: -.SUFFIXES: .xfst .fst .err .ech +.SUFFIXES: .xfst .fst .err .ech .att .xfst.fst: foma -e "source $<" -e "save stack $@" -s +.fst.att: + foma -e "load $<" -e "write att $@" -s .ech.err: bin/inclusion.sh "$$(echo "$<" | sed 's/.ech$$/.fst/')" "$<" | tee "$@" @@ -16,4 +18,5 @@ ajouter_ech: bib/ajouter_ech.fst net: # Supprimer tous les fichiers .fst - find . -type f -name '*.fst' -o -name '*.err' | xargs rm + find . -type f -name '*.fst' -o -name '*.err' -o -name '*.att' | \ + xargs rm