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