use repo instead of releases
This commit is contained in:
parent
cd4e8866fb
commit
562244aef4
1 changed files with 8 additions and 7 deletions
15
Makefile
15
Makefile
|
@ -44,11 +44,12 @@ clean:
|
||||||
-$(RM) $(SYSTEMS).xml $(TORTUE).xml $(TRACEUR).xml $(EXPORT).svg
|
-$(RM) $(SYSTEMS).xml $(TORTUE).xml $(TRACEUR).xml $(EXPORT).svg
|
||||||
|
|
||||||
# Télécharge Saxon
|
# Télécharge Saxon
|
||||||
SAXON_VER = 10.9
|
SAXON_VER = 10.3
|
||||||
saxon:
|
saxon:
|
||||||
$(eval $version = $(subst .,-,$(SAXON_VER)))
|
$(eval _version = $(subst .,-,$(SAXON_VER)))
|
||||||
$(eval $zipfile = saxon.zip)
|
$(eval _major = $(firstword $(subst ., ,$(SAXON_VER))))
|
||||||
$(CURL) https://github.com/Saxonica/Saxon-HE/releases/download/SaxonHE$($version)/SaxonHE$($version)J.zip \
|
$(eval _zipfile = saxon.zip)
|
||||||
> $($zipfile)
|
$(CURL) https://github.com/Saxonica/Saxon-HE/raw/main/$(_major)/Java/SaxonHE$(_version)J.zip \
|
||||||
$(UNZIP) -j $($zipfile) saxon-he-$(SAXON_VER).jar
|
> $(_zipfile)
|
||||||
$(RM) $($zipfile)
|
$(UNZIP) -j $(_zipfile) saxon-he-$(SAXON_VER).jar
|
||||||
|
$(RM) $(_zipfile)
|
||||||
|
|
Reference in a new issue