diff options
| author |  mikebarnett <unknown> | 2009-08-10 21:48:31 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2009-08-10 21:48:31 +0000 |
| commit | ecdfc58e314d98fcf0616cebc4e411d8aa007df7 (patch) | |
| tree | 219bd79bfce3d366aad0c5dc8a029371d2fe167b /Binaries | |
| parent | d105ecf9da0cd53a329de6bed90caec85e21774d (diff) | |
Changes needed in order to build Boogie using a freshly built Spec# compiler and not just the LKG.
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/Binaries/Makefile b/Binaries/Makefile new file mode 100644 index 00000000..14cad08b --- /dev/null +++ b/Binaries/Makefile @@ -0,0 +1,31 @@ +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#.
+#
+#SPECSHARPBINDIR = Microsoft.SpecSharp\LastKnownGood9
+SPECSHARPBINDIR = Microsoft.SpecSharp\Registration
+
+all:
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ITaskManager.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ITaskManager.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Framework.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Framework.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Runtime.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Runtime.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.SpecSharp.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.SpecSharp.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.SpecSharp.Runtime.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.SpecSharp.Runtime.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Mscorlib.Contracts.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Contracts.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Xml.Contracts.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Contracts.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\System.Compiler.Framework.Contracts.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.VisualStudio.IntegrationHelper.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.VisualStudio.IntegrationHelper.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.VisualStudio.Package.dll"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\Microsoft.VisualStudio.Package.pdb"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ssc.exe"
+ copy /y "$(SPECSHARPROOT)\$(SPECSHARPBINDIR)\ssc.pdb"
|