Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

20 lines (15 sloc) 0.36 kb
PROLOG = swipl -O
.PHONY: all
all: test
.PHONY: test
test:
@ echo "--- Run tests and exit ..."
time $(PROLOG) -s load -g prolongo_test -t halt
.PHONY: cov
cov:
@ echo "--- Run tests, print test coverage and exit ..."
$(PROLOG) -s load -g prolongo_cov -t halt
.PHONY: repl
repl:
@ echo "--- Load and enter REPL ..."
$(PROLOG) -s load -g prolongo_repl
Jump to Line
Something went wrong with that request. Please try again.