summaryrefslogtreecommitdiff
path: root/Binaries/Makefile
blob: 14cad08bd924b142310740282a603a77df809b1b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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"