Makefile

NAME=syfco
BLDTOOL=`if [ -d "dist" ]; then echo "cabal"; else echo "stack"; fi`

default:
	${BLDTOOL} build
	@if [ -d "dist" ]; then cp ./dist/build/${NAME}/${NAME} ${NAME}; else cp `stack path | grep local-install-root | sed 's/local-install-root: //'`/bin/${NAME} ${NAME}; fi

ghci:
	${BLDTOOL} repl

install:
	${BLDTOOL} install

haddock:
	${BLDTOOL} haddock

clean:
	${BLDTOOL} clean
	@rm -fR ${NAME}

testfin:
	@if [ "$(./syfco test/amba_finite.tlsf --format ltlxba-fin)" = "$(cat test/amba_finite.res)" ]; then echo "Finite semantics work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/simple_finite.tlsf --format ltlxba-fin)" = "$(cat test/simple_finite.res)" ]; then echo "Finite semantics work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/lilydemo11.tlsf --format ltlxba)" = "$(cat test/lilydemo11.res)" ]; then echo "Infinite semantics also work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/shift.tlsf --format ltlxba)" = "$(cat test/shift.res)" ]; then echo "Infinite semantics also work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/robot_grid.tlsf --format ltlxba)" = "$(cat test/robot_grid.res)" ]; then echo "Infinite semantics also work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/detector.tlsf --format ltlxba)" = "$(cat test/detector.res)" ]; then echo "Infinite semantics also work as expected"; else echo "Something went wrong"; fi
	@if [ "$(./syfco test/load_balancer.tlsf --format ltlxba)" = "$(cat test/load_balancer.res)" ]; then echo "Infinite semantics also work as expected"; else echo "Something went wrong"; fi

.PHONY: clean
.SILENT: