summaryrefslogtreecommitdiff
path: root/backends/hol4/Holmakefile
blob: 3e5606fba8cf09da7a17a449a94238e0f8b62e38 (plain)
1
2
3
4
INCLUDES =

all: $(DEFAULT_TARGETS)
.PHONY: all