From cd4e8866fb807f8a4326e13cc2b0fad8ae5cb12f Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sun, 5 May 2024 19:19:41 +0200 Subject: [PATCH] saxon downloader --- Makefile | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/Makefile b/Makefile index 633e284..f7403e4 100644 --- a/Makefile +++ b/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)