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