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	cd parser.mosmlyacc ; Holmake
13	cd parser ; Holmake -I ../../path -I ../official-semantics -I ../../regexp -I ../executable-semantics -I ../parser.mosmlyacc
14
15strict:
16	cd ../path ; Holmake --qof
17	cd ../regexp ; Holmake --qof
18	cd official-semantics ; Holmake -I ../../path --qof
19	cd executable-semantics ; Holmake -I ../../path -I ../official-semantics -I ../../regexp --qof
20	cd parser.mosmlyacc ; Holmake --qof
21	cd parser ; Holmake -I ../../path -I ../official-semantics -I ../../regexp -I ../executable-semantics -I ../parser.mosmlyacc --qof
22
23clean:
24	cd ../path ; Holmake cleanAll
25	cd ../regexp ; Holmake cleanAll
26	cd official-semantics ; Holmake cleanAll
27	cd executable-semantics ; Holmake cleanAll
28	cd parser ; Holmake cleanAll
29	cd parser.mosmlyacc ; Holmake cleanAll
30
31world: clean all
32