Makefile

.PHONY: build all clean clean-test generate test freeze docker-run docker-build

.SUFFIXES: .dhall .json

TEST_DHALL := tests.dhall
TEST := $(TEST_DHALL:.dhall=.json)

REPLICA_TESTS_DHALL := $(wildcard ./tests/replica/*/*.dhall)
REPLICA_TESTS := $(REPLICA_TESTS_DHALL:.dhall=.json)
REPLICA_EXE := build/exec/replica

META_DHALL := $(wildcard ./tests/META/*.dhall)
TEST_INCLUDE_DHALL := $(wildcard ./tests/*.dhall)

DEST = ${HOME}/.local/bin

build: src/Replica/Version.idr
	idris2 --build replica.ipkg

src/Replica/Version.idr: version.nix
	echo "module Replica.Version" > src/Replica/Version.idr
	echo "" >> src/Replica/Version.idr
	echo "export" >> src/Replica/Version.idr
	echo "version : String" >> src/Replica/Version.idr
	echo "version = `cat version.nix`" >> src/Replica/Version.idr

install: build
	mkdir -p ${DEST}
	cp -r build/exec/* ${DEST}

clean-test:
	${RM} ${TEST}
	${RM} ${REPLICA_TESTS}

clean: clean-test
	${RM} -r build

.dhall.json:
	dhall-to-json --file $? --output $@

${TEST}: ${TEST_DHALL} ${TEST_INCLUDE_DHALL}
	dhall-to-json --file ${TEST_DHALL} --output $@

freeze: ${TEST_DHALL} ${META_DHALL} ${TEST_INCLUDE_DHALL}
	dhall freeze $?

generate: ${REPLICA_TESTS} ${TEST} build
	${REPLICA_EXE} ${GLOBAL} run ${RUN} --interactive ${TEST}

test: ${REPLICA_TESTS} ${TEST} build
	${REPLICA_EXE} ${GLOBAL} run ${RUN} ${TEST}

all: test install

tests/replica/%/:
	mkdir $@
	${REPLICA_EXE} new -f dhall -s $@/tests.dhall