From 562244aef49f4c3f3bed77242d5612738e21dfaa Mon Sep 17 00:00:00 2001 From: Mylloon Date: Sun, 5 May 2024 19:25:01 +0200 Subject: [PATCH] use repo instead of releases --- Makefile | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/Makefile b/Makefile index f7403e4..cb8e228 100644 --- a/Makefile +++ b/Makefile @@ -44,11 +44,12 @@ clean: -$(RM) $(SYSTEMS).xml $(TORTUE).xml $(TRACEUR).xml $(EXPORT).svg # Télécharge Saxon -SAXON_VER = 10.9 +SAXON_VER = 10.3 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) + $(eval _version = $(subst .,-,$(SAXON_VER))) + $(eval _major = $(firstword $(subst ., ,$(SAXON_VER)))) + $(eval _zipfile = saxon.zip) + $(CURL) https://github.com/Saxonica/Saxon-HE/raw/main/$(_major)/Java/SaxonHE$(_version)J.zip \ + > $(_zipfile) + $(UNZIP) -j $(_zipfile) saxon-he-$(SAXON_VER).jar + $(RM) $(_zipfile)