stockholm/Makefile

79 lines
1.6 KiB
Makefile
Raw Normal View History

2015-07-19 09:50:54 +00:00
#
# usage:
2015-09-30 23:48:15 +00:00
# make infest system=foo [target=bar]
# make [deploy] system=foo [target=bar]
# make [deploy] systems='foo bar'
# make eval get=users.tv.wu.config.time.timeZone [filter=json]
2015-07-19 09:50:54 +00:00
#
2015-07-11 14:55:22 +00:00
.ONESHELL:
.SHELLFLAGS := -eufc
2015-07-19 09:50:54 +00:00
ifdef systems
$(systems):
2015-09-26 22:22:50 +00:00
@
2015-09-30 23:48:15 +00:00
unset target
2015-07-19 09:50:54 +00:00
parallel \
--line-buffer \
-j0 \
--no-notice \
--tagstring {} \
2015-09-26 22:22:50 +00:00
-q make -s systems= system={} ::: $(systems)
2015-07-19 09:50:54 +00:00
else ifdef system
2015-09-26 22:22:50 +00:00
.PHONY: deploy infest
deploy infest:;@
2015-09-30 23:48:15 +00:00
export get=krebs.$@
2015-09-26 22:22:50 +00:00
export filter=json
script=$$(make -s eval)
echo "$$script" | sh
2015-09-18 01:04:39 +00:00
.PHONY: deploy2
ifdef target
deploy2: export target-host = $(target)
else
deploy2: export target-host = $(system)
endif
deploy2: export source = \
with (import ~/stockholm {}).users.$(LOGNAME).$(system).config.krebs.build; \
assert source-version == 2; \
source
deploy2:;@
target=$${target-$$system}
result=$$(nix-instantiate \
--eval \
--json \
--arg source "$$source" \
--argstr target-host "$$target" \
--argstr target-path /var/src \
-A populate \
krebs/v2)
script=$$(echo "$$result" | jq -r .)
echo "$$script" | sh
ssh root@$$target nixos-rebuild switch -I /var/src
2015-07-22 23:04:51 +00:00
.PHONY: eval
eval:
2015-07-24 15:34:08 +00:00
@
2015-07-28 19:03:49 +00:00
ifeq ($(filter),json)
2015-08-05 13:24:50 +00:00
extraArgs='--json --strict'
2015-07-28 19:03:49 +00:00
filter() { jq -r .; }
else
filter() { cat; }
endif
result=$$(nix-instantiate \
2015-07-28 19:03:49 +00:00
$${extraArgs-} \
2015-07-22 23:04:51 +00:00
--eval \
-A "$$get" \
2015-10-15 00:48:11 +00:00
-I stockholm="$$PWD" \
2015-07-24 15:34:08 +00:00
'<stockholm>' \
2015-09-30 23:48:15 +00:00
--argstr current-date "$$(date -Is)" \
--argstr current-host-name "$$HOSTNAME" \
--argstr current-user-name "$$LOGNAME" \
$${system+--argstr system "$$system"} \
$${target+--argstr target "$$target"})
echo "$$result" | filter
2015-07-19 09:50:54 +00:00
else
$(error unbound variable: system[s])
2015-07-11 14:55:22 +00:00
endif