diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-06-28 01:44:30 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-06-28 01:44:30 +0100 |
commit | 962f8d5252b3f5ec4d19e0cd2a430934bd55cc6d (patch) | |
tree | 27d5f9b0d130c6c1a6758bc0b7456b0aa51e34e0 /Source/Core/Makefile | |
parent | e11d65009d0b4ba1327f5f5dd6b26367330611f0 (diff) |
Normalise line endings using a .gitattributes file. Unfortunately
this required that this commit globally modify most files. If you
want to use git blame to see the real author of a line use the
``-w`` flag so that whitespace changes are ignored.
Diffstat (limited to 'Source/Core/Makefile')
-rw-r--r-- | Source/Core/Makefile | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/Source/Core/Makefile b/Source/Core/Makefile index 4d3f433a..2eb998f8 100644 --- a/Source/Core/Makefile +++ b/Source/Core/Makefile @@ -1,20 +1,20 @@ -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 = ..\..\..\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
-# nmake that. --KRML
-all: Parser.cs
-
-Parser.cs: $(FRAME_DIR)\Scanner.frame $(FRAME_DIR)\Parser.frame BoogiePL.atg
- $(COCO) BoogiePL.atg -namespace Microsoft.Boogie -frames $(FRAME_DIR)
-
-clean:
- if exist Scanner.cs del Scanner.cs
- if exist Parser.cs del Parser.cs
+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 = ..\..\..\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 +# nmake that. --KRML +all: Parser.cs + +Parser.cs: $(FRAME_DIR)\Scanner.frame $(FRAME_DIR)\Parser.frame BoogiePL.atg + $(COCO) BoogiePL.atg -namespace Microsoft.Boogie -frames $(FRAME_DIR) + +clean: + if exist Scanner.cs del Scanner.cs + if exist Parser.cs del Parser.cs |