| #!/usr/bin/make | |
| PKG = x509-ada | |
| SRC = https://git.codelabs.ch/git/$(PKG).git | |
| REV = v0.1.3 | |
| PREFIX = /usr/local/ada | |
| all: install | |
| .$(PKG)-cloned: | |
| [ -d $(PKG) ] || git clone $(SRC) $(PKG) | |
| @touch $@ | |
| .$(PKG)-checkout-$(REV): .$(PKG)-cloned | |
| cd $(PKG) && git fetch && git checkout $(REV) | |
| @rm -f .$(PKG)-checkout-* && touch $@ | |
| .$(PKG)-built-$(REV): .$(PKG)-checkout-$(REV) | |
| cd $(PKG) && make tests && make | |
| @rm -f .$(PKG)-built-* && touch $@ | |
| install: .$(PKG)-built-$(REV) | |
| cd $(PKG) && make PREFIX=$(PREFIX) install |