COCO = ..\..\Binaries\Coco.exe ASML = ..\..\Binaries\asmlc.boot.exe # ############################################################################### # The frame files are no longer in this directory. They must be downloaded # from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to # point to whatever directory you install that into. # ############################################################################### FRAME_DIR = c:\BoogiePartners\CocoR\Modified # "all" depends on 2 files, really (Parser.cs and Scanner.cs), but they # are both generated in one go and I don't know a better way to tell # nmake that. --KRML all: Parser.ssc #Graph.dll: Graph.as # $(ASML) /target:library Graph.as Parser.ssc: $(FRAME_DIR)\Scanner.frame $(FRAME_DIR)\Parser.frame BoogiePL.atg $(COCO) BoogiePL.atg -namespace Microsoft.Boogie -frames $(FRAME_DIR) copy Parser.cs Parser.ssc copy Scanner.cs Scanner.ssc clean: rm -f Scanner.ssc Parser.ssc