diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 13 insertions, 4 deletions
@@ -36,16 +36,25 @@ 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 $@ -src/config/root-pubkey.txt: src/keys/SSH/root@$(TLD).id_rsa.pub.txt Makefile +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 src/config/tld.txt src/config/offsite-ssh.txt src/config/root-pubkey.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 $@ |