diff options
| author |  Richard L. Ford <richford@microsoft.com> | 2016-01-29 09:28:06 -0800 |
|---|---|---|
| committer | Richard L. Ford <richford@microsoft.com> | 2016-01-29 09:28:06 -0800 |
| commit | 7fb4b7f9ad53ad793eb7a66cf5ca89499d275121 (patch) | |
| tree | f7357a29f6966255c989387516b9ee00decc3a79 | |
| parent | fca241c91ba0f27d145bf083a283491844da1da1 (diff) | |
Revert Makefile to its prior settings
The prior change did not work for people who had their
setup using the previous values.
| -rw-r--r-- | Source/Dafny/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Makefile b/Source/Dafny/Makefile index a61539b0..68ab7a2d 100644 --- a/Source/Dafny/Makefile +++ b/Source/Dafny/Makefile @@ -4,8 +4,8 @@ # from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to
# point to whatever directory you install that into.
# ###############################################################################
-COCO_EXE_DIR = ..\..\..\coco
-FRAME_DIR = ..\..\..\boogiepartners\CocoR\Modified
+COCO_EXE_DIR = ..\..\..\boogie-partners\CocoR\bin
+FRAME_DIR = ..\..\..\boogie-partners\CocoR\Modified
COCO = $(COCO_EXE_DIR)\Coco.exe
# "all" depends on 2 files, really (Parser.cs and Scanner.cs), but they
|