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