summaryrefslogtreecommitdiff
path: root/src/arch/arm/v7/opdefs
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2017-02-14 21:16:29 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2017-02-14 21:16:29 (GMT)
commit1898c6ea16d0eee8ecc5ab9ebb26ac91ad7314b4 (patch)
tree5c50e152eea144a1d2e6785e84033165c6d2a884 /src/arch/arm/v7/opdefs
parent252aa6db5c9d34c554f3b970efba5d0b738c2f93 (diff)
Fixed the creation of distribution tarballs.
Diffstat (limited to 'src/arch/arm/v7/opdefs')
-rw-r--r--src/arch/arm/v7/opdefs/Makefile.am11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/arch/arm/v7/opdefs/Makefile.am b/src/arch/arm/v7/opdefs/Makefile.am
index 41785c6..a702d10 100644
--- a/src/arch/arm/v7/opdefs/Makefile.am
+++ b/src/arch/arm/v7/opdefs/Makefile.am
@@ -279,6 +279,17 @@ ARMV7_DEFS = \
# subs_B9320.d
+# make dist procède répertoire par répertoire. Or le répertoire opcodes utilise
+# le contenu du répertoire opdefs. Il faut donc générer les fichiers nécessaires
+# au répertoire opcodes. Et comme on ne peut pas compléter la règle dist, on
+# ajoute à la distribution les cibles marquant la génération. (1/2)
+
+EXTRA_DIST = $(ARMV7_DEFS) $(ARMV7_DEFS:.d=.g)
+
+# Après coup, on supprime les fichiers inutiles de la distribution/ (2/2)
+
+dist-hook:
+ cd $(distdir) && rm $(ARMV7_DEFS:.d=.g)
all: $(ARMV7_DEFS:.d=.g) fmk.done d2c_final_rules