1###############################################################################
2# Makefile for the Sugar2 HOL example
3###############################################################################
4
5.PHONY: all clean world
6
7all:
8	cd ../path ; Holmake
9	cd ../regexp ; Holmake
10	cd official-semantics ; Holmake -I ../../path
11	cd executable-semantics ; Holmake -I ../../path -I ../official-semantics -I ../../regexp
12
13strict:
14	cd ../path ; Holmake --qof
15	cd ../regexp ; Holmake --qof
16	cd official-semantics ; Holmake -I ../../path --qof
17	cd executable-semantics ; Holmake -I ../../path -I ../official-semantics -I ../../regexp --qof
18
19clean:
20	cd ../path ; Holmake cleanAll
21	cd ../regexp ; Holmake cleanAll
22	cd official-semantics ; Holmake cleanAll
23	cd executable-semantics ; Holmake cleanAll
24
25world: clean all
26