agda2lagda-0.2020.11.1: Makefile

.PHONY : bug haddock install test test-help version

test-help:
	cabal run agda2lagda -- --help

version :
	cabal run agda2lagda -- --version

test :
	cabal run agda2lagda -- -v --force -o test/out/ test/Foo.agda
	cabal run agda2lagda -- -v --force -o test/Foo-generated.lagda test/Foo.agda

bug :
	cabal run agda2lagda -- --dry-run test/ClosingCommentInString.agda

install :
	cabal install

haddock :
	cabal v1-haddock --executables

# EOF