Makefile for satysfi

Makefile

IMAGE_NAME := amutake/satysfi:nightly
DIST_DIR := dist

SUDO := sudo
DOCKER := $(SUDO) docker
DOCKER_RUN := $(DOCKER) run --rm -v $(CURDIR):/satysfi $(IMAGE_NAME)

MAIN := main
SOURCES := $(MAIN).saty Makefile $(shell find sections/ -name '*.saty')

OUTPUT := $(DIST_DIR)/$(MAIN).pdf

.PHONY: all
all: $(OUTPUT)
$(OUTPUT): $(SOURCES)
    mkdir -p $(DIST_DIR)
    $(DOCKER_RUN) satysfi $(MAIN).saty -o $(OUTPUT)

.PHONY: clean
clean:
    -rm $(OUTPUT)