diff options
author | wuestholz <unknown> | 2013-05-30 10:36:28 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-30 10:36:28 -0700 |
commit | 7a4ffae70254686db3532b748b025c1f8621bef5 (patch) | |
tree | ebdecdfa7b5414760a97638d28c178d49a9d618d /Source/DafnyExtension/DafnyExtension.csproj | |
parent | 14f2fa23dda9a78a84aa321bdfd17fd3da3a6944 (diff) |
Minor change to a project file
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index df070e1c..bef376f4 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -218,9 +218,9 @@ </PostBuildEvent>
</PropertyGroup>
<PropertyGroup>
- <PreBuildEvent>copy /y "$(SolutionDir)..\..\boogie\Binaries\UnivBackPred2.smt2" $(ProjectDir)
-copy /y "$(SolutionDir)..\Binaries\DafnyPrelude.bpl" $(ProjectDir)
-copy /y "$(SolutionDir)..\Binaries\DafnyRuntime.cs" $(ProjectDir)</PreBuildEvent>
+ <PreBuildEvent>copy /y "..\..\boogie\Binaries\UnivBackPred2.smt2" "$(ProjectDir)"
+copy /y "..\Binaries\DafnyPrelude.bpl" "$(ProjectDir)"
+copy /y "..\Binaries\DafnyRuntime.cs" "$(ProjectDir)"</PreBuildEvent>
</PropertyGroup>
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
|