blob: fd2141b3f63ade4c8fa73e363c07ca56bc13fc70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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
|
