saxon downloader

Makefile

@@ -3,6 +3,8 @@ VALIDATE  = xmllint --schema
 SAXON     = java -jar $(wildcard saxon*.jar)
 RM        = rm
 ECHO      = echo -e
+CURL      = curl --location
+UNZIP     = unzip
 
 SYSTEMS = l-systems
 TORTUE  = tortue
@@ -40,3 +42,13 @@ svg:
 # Supprime les fichiers générés
 clean:
 	-$(RM) $(SYSTEMS).xml $(TORTUE).xml $(TRACEUR).xml $(EXPORT).svg
+
+# Télécharge Saxon
+SAXON_VER = 10.9
+saxon:
+	$(eval $version = $(subst .,-,$(SAXON_VER)))
+	$(eval $zipfile = saxon.zip)
+	$(CURL) https://github.com/Saxonica/Saxon-HE/releases/download/SaxonHE$($version)/SaxonHE$($version)J.zip \
+	  > $($zipfile)
+	$(UNZIP) -j $($zipfile) saxon-he-$(SAXON_VER).jar
+	$(RM) $($zipfile)