diff options
author | mschwerhoff <unknown> | 2010-03-12 15:45:35 +0000 |
---|---|---|
committer | mschwerhoff <unknown> | 2010-03-12 15:45:35 +0000 |
commit | c48d205507068bcce227645acc7a07add0561820 (patch) | |
tree | 4d38b1c115fe7bb36d329b1a21be91a50938336d /Binaries | |
parent | 0e6f265ca9a826dddd65b05ec21b97fcd549dccd (diff) |
Added a comment to the Makefile
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Binaries/Makefile b/Binaries/Makefile index 14cad08b..d1f260b9 100644 --- a/Binaries/Makefile +++ b/Binaries/Makefile @@ -1,3 +1,7 @@ +# All variables can be overwritten by name=value pairs as arguments to nmake,
+# e.g. by running
+# ?> nmake SPECSHARPROOT=c:\checkout\SpecSharp
+
SPECSHARPROOT = d:\SpecSharpCodePlex\SpecSharp
# Use the first one if you want to build Boogie using the LKG build of Spec#.
# Use the second one if you want to build Boogie using a freshly built version of Spec#.
|