1276792Sdim###############################################################################
2276792Sdim# Makefile for the Sugar2 HOL example
3276792Sdim###############################################################################
4276792Sdim
5276792Sdim.PHONY: all clean world
6276792Sdim
7276792Sdimall:
8276792Sdim	cd ../path ; Holmake
9276792Sdim	cd ../regexp ; Holmake
10276792Sdim	cd official-semantics ; Holmake -I ../../path
11276792Sdim	cd executable-semantics ; Holmake -I ../../path -I ../official-semantics -I ../../regexp
12276792Sdim
13276792Sdimstrict:
14276792Sdim	cd ../path ; Holmake --qof
15276792Sdim	cd ../regexp ; Holmake --qof
16276792Sdim	cd official-semantics ; Holmake -I ../../path --qof
17276792Sdim	cd executable-semantics ; Holmake -I ../../path -I ../official-semantics -I ../../regexp --qof
18276792Sdim
19276792Sdimclean:
20276792Sdim	cd ../path ; Holmake cleanAll
21276792Sdim	cd ../regexp ; Holmake cleanAll
22276792Sdim	cd official-semantics ; Holmake cleanAll
23276792Sdim	cd executable-semantics ; Holmake cleanAll
24276792Sdim
25276792Sdimworld: clean all
26276792Sdim