From 7fb4b7f9ad53ad793eb7a66cf5ca89499d275121 Mon Sep 17 00:00:00 2001 From: "Richard L. Ford" Date: Fri, 29 Jan 2016 09:28:06 -0800 Subject: Revert Makefile to its prior settings The prior change did not work for people who had their setup using the previous values. --- Source/Dafny/Makefile | 4 ++-- 1 file 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 -- cgit v1.2.3