genode-ehmry/errata/pkg.mk.awk

{ split($2,a,"/") }

{ if (a[6] == "_ARCHIVES") {

{ src=a[1]"/"a[2]"/"a[3]"/"a[4]"/"a[5] }
{ tar="public/$(PUBLIC_USER)/pkg/"a[4]"/"$1".tar.xz" }
{ sig=tar".sig" }

{ print "all: " tar ".sig" }

{ print tar": "$2" pkg.sed" }
{ print "	@echo tar  $@" }
{ print "	@mkdir -p "$1 }
{ print "	@sed -e 's|^local/|$(PUBLIC_USER)/|' -f pkg.sed $< > "$1"/archives" }
{ print "	@cp $(dir $<)/runtime "$1 }
{ print "	@mkdir -p $(dir $@)" }
{ print "	@tar cfJ $@ "$1 }
{ print "	@rm -r "$1 }

}}