summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-external/Holmakefile
blob: 3c4b8973906a55d7e631336ae40e9514e41e39c4 (plain)
1
2
3
4
5
# This file was automatically generated - modify ../Holmakefile.template instead
INCLUDES =  ../../../backends/hol4

all: $(DEFAULT_TARGETS)
.PHONY: all