Skip to content
Snippets Groups Projects
Makefile 260 B
Newer Older
Gabriel's avatar
Gabriel committed
.PHONY: install
install:
	${MAKE} -C encoding install
	@sed 's:PVSDKPATH:${PWD}:' pvs-load.lisp | cat

.PHONY: encoding
encoding:
Gabriel's avatar
Gabriel committed
	${MAKE} -C encoding
gabrielhdt's avatar
gabrielhdt committed

.PHONY: tests
tests:
	${MAKE} -C tests
gabrielhdt's avatar
gabrielhdt committed

.PHONY: clean
clean:
	find . -type f -name "*.lpo" -exec rm -f {} +