diff options
| author |  mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2009-07-15 21:03:41 +0000 |
| commit | ce1c2de044c91624370411e23acab13b0381949b (patch) | |
| tree | 592539996fe08050ead5ee210c973801611dde40 /Source/Dafny/Makefile | |
Initial set of files.
Diffstat (limited to 'Source/Dafny/Makefile')
| -rw-r--r-- | Source/Dafny/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Source/Dafny/Makefile b/Source/Dafny/Makefile new file mode 100644 index 00000000..fd2141b3 --- /dev/null +++ b/Source/Dafny/Makefile @@ -0,0 +1,15 @@ +COCO = ..\..\Binaries\Coco.exe
+ASML = ..\..\Binaries\asmlc.boot.exe
+
+# "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
+
+Parser.ssc: Scanner.frame Parser.frame Dafny.atg
+ $(COCO) Dafny.atg
+ copy Parser.cs Parser.ssc
+ copy Scanner.cs Scanner.ssc
+
+clean:
+ rm -f Scanner.ssc Parser.ssc
|