diff options
author | mikebarnett <unknown> | 2010-06-25 16:36:48 +0000 |
---|---|---|
committer | mikebarnett <unknown> | 2010-06-25 16:36:48 +0000 |
commit | 739e63141b60e5a2e5de709808dc7e86c24082c1 (patch) | |
tree | 6be9079d0beffd0ab910fc337c5bb82f5c4df1f8 /Dafny/Makefile | |
parent | 76895cac575a82c8f1ed616fa55a1b52d50ce9a0 (diff) |
Unified the .frame files so that both Boogie and Dafny use exactly the same ones.
Diffstat (limited to 'Dafny/Makefile')
-rw-r--r-- | Dafny/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Dafny/Makefile b/Dafny/Makefile index a723042c..3fc283a0 100644 --- a/Dafny/Makefile +++ b/Dafny/Makefile @@ -2,9 +2,10 @@ COCO = ..\..\Binaries\Coco.exe # ###############################################################################
# The frame files are no longer in this directory. They must be downloaded
-# from http://boogiepartners.codeplex.com/ and then copied into this directory.
+# from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to
+# point to whatever directory you install that into.
# ###############################################################################
-FRAME_DIR = c:\boogiepartners\Dafny\Source
+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
|