Initialisation du dépôt.

2026-02-07 10:51:00 +01:00
commit 95b226f659
18 changed files with 646 additions and 0 deletions
@@ -0,0 +1,19 @@
+
+# Tâche par défaut.
+all: $(FILTERS_DIR)/diamond
+.DEFAULT_GOAL:=all
+
+# Tâches virtuelles.
+.PHONY: lean all
+
+# Construction du filtre diamond.
+SRC_FILES=$(wildcard *.hs)
+
+../filters/diamond: diamond.hs $(SRC_FILES)
+	ghc -o $@ $<
+
+# Nettoyage.
+clean:
+	rm -f *.hi *.o
+
+# vim: set tw=80 ts=4 sw=4 sts=4 spelllang=fr: