| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-21 | Add test-upgrade; remove commit b3262f2e69bd9be48154cb8ce8ee71dd08e307a0 | David Barri | |
| Author: David Barri <japgolly@gmail.com> Date: Sun Mar 21 08:56:16 2021 +1100 Add auto-update diff --git a/Makefile b/Makefile index 102d026..a3996b7 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,21 @@ -.PHONY: clean post +.PHONY: post clean upgrade versions auto-update + +CURRENT_VER := $(shell grep '^pkgver' PKGBUILD | sed 's/.*=//') +LATEST_VER := $(shell curl -s https://github.com/tlaplus/tlaplus/releases/latest | perl -pe 's!.*/tag/v?([0-9].+?)".*!$$1!') + +versions: + @echo "Current version:" + @echo " $(CURRENT_VER)" + @echo "Latest version:" + @echo " $(LATEST_VER)" + +upgrade: + perl -pi -e 's/^pkgver=.+/pkgver=$(LATEST_VER)/' PKGBUILD + bash -c 'perl -pi -e "s/^sha256sums=[^)]+\)/$$(makepkg -g)/" PKGBUILD' + make post + git add .SRCINFO PKGBUILD + git commit -m "Upgrade to $(LATEST_VER)" .SRCINFO PKGBUILD + git show post: makepkg --verifysource -f @@ -6,3 +23,10 @@ post: clean: git clean -fX + +auto-update: +ifeq ($(CURRENT_VER),$(LATEST_VER)) + @echo "No update available. Version: $(CURRENT_VER)" +else + @make upgrade && git push +endif | |||
| 2021-03-21 | Add auto-update | David Barri | |
| 2020-12-09 | Support TLA_EXTRA_CLASSPATH | David Barri | |
| 2020-12-08 | Add tla for the repl | David Barri | |
| 2020-12-07 | Seems the perl -0 flag doesn't work with new version of tlc | David Barri | |
| 2020-12-07 | Upgrade to 1.7.1 | David Barri | |
| 2020-12-07 | Add Makefile | David Barri | |
| 2020-12-07 | More formatting | David Barri | |
| 2020-05-23 | Upgrade to 1.7.0 | David Barri | |
| 2020-05-23 | Add clean_build | David Barri | |
| 2019-08-19 | Release v1.6.0-2 | David Barri | |
| 2019-03-22 | Fix installation | David Barri | |
| 2019-03-22 | Release v1.5.7-2 | David Barri | |
| 2019-03-22 | Support env vars: TLA_JAVA_{,_OPTS},TLC_{JAVA_,}OPTS | David Barri | |
| 2019-03-17 | .gitignore | David Barri | |
| 2019-03-17 | Add tlc-dist-* | David Barri | |
| 2019-03-17 | Add tlc-colour | David Barri | |
| 2019-02-24 | Fix installation | David Barri | |
| 2019-02-24 | Ahhh... there's a .SRCINFO file too! | David Barri | |
| 2019-02-24 | Revise and update | David Barri | |
| 2013-04-09 | tla-tools: 2.1.3 -> 2.1.5 | Antoine Lubineau | |
| 2012-10-14 | tla-tools: 2.1.0 -> 2.1.3 | Antoine Lubineau | |
| 2012-01-08 | tla-tools: sha256sums have changed | Antoine Lubineau | |
| 2011-04-15 | Fixed small typo | Antoine Lubineau | |
| 2011-04-15 | Changed depends to java-runtime (more generic), removed unnecessary | Antoine Lubineau | |
| function. | |||
| 2011-04-15 | Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) | Antoine Lubineau | |