summaryrefslogtreecommitdiff
path: root/Source/Core/Makefile
diff options
context:
space:
mode:
authorGravatar wuestholz <unknown>2010-12-02 14:35:21 +0000
committerGravatar wuestholz <unknown>2010-12-02 14:35:21 +0000
commitf08bf65f0c319ea266e75bf4ebb8448ab91d2ae8 (patch)
tree3d725fdb6734c2152fad981035848c35326f7d2e /Source/Core/Makefile
parent41014cb7d6075fabb22c9818a6b58a86079c2266 (diff)
Factored out the ParserHelper class into a separate project and updated the files generated by Coco/R.
This was done to support sharing of the Coco/R .frame files with Spec#.
Diffstat (limited to 'Source/Core/Makefile')
-rw-r--r--Source/Core/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/Makefile b/Source/Core/Makefile
index a5061138..192a16db 100644
--- a/Source/Core/Makefile
+++ b/Source/Core/Makefile
@@ -1,11 +1,11 @@
-COCO = ..\..\Binaries\Coco.exe
+COCO = Coco.exe
# ###############################################################################
# The frame files are no longer in this directory. They must be downloaded
# from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to
# point to whatever directory you install that into.
# ###############################################################################
-FRAME_DIR = c:\BoogiePartners\CocoR\Modified
+FRAME_DIR = ..\..\..\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