diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 23 |
1 files changed, 15 insertions, 8 deletions
@@ -36,22 +36,29 @@ all: $(derived-assets) $(derived-assets): Makefile -src/config/tld.txt: Makefile + +# Needed by server to reconfigure(8) without running make(1). +config.txt = \ + src/config/tld.txt \ + src/config/offsite-ssh.txt \ + src/config/root-pubkey.txt \ + +$(config.txt): Makefile + +src/config/tld.txt: echo '$(TLD)' | ifnew $@ -src/config/offsite-ssh.txt: Makefile +src/config/offsite-ssh.txt: echo '$(OFFSITE_SSH)' | ifnew $@ -system.scm.sentinel: src/guix/system.scm src/config/tld.txt src/config/offsite-ssh.txt +src/config/root-pubkey.txt: src/keys/SSH/root@$(TLD).id_rsa.pub.txt + cut -d' ' -f8- < src/keys/SSH/root@$(TLD).id_rsa.pub.txt > $@ + +system.scm.sentinel: src/guix/system.scm $(config.txt) rm -f system.scm* guix build -v3 -r system.scm -Kf src/guix/system.scm touch $@ -.SUFFIXES: .stripped -src/keys/SSH/root@$(TLD).id_rsa.pub.stripped: \ - src/keys/SSH/root@$(TLD).id_rsa.pub.txt - cut -d' ' -f8- < $*.txt > $@ - check-unit: |