From 463297d2645e481e39ca75ef05c2fd40f0105d3d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 24 Oct 2012 10:55:14 -0700 Subject: [PATCH] Simplified scripts using /MD option Signed-off-by: Leonardo de Moura --- scripts/config-vs-debug.mk | 2 +- scripts/config-vs-release.mk | 2 +- src/{ => dotnet}/Microsoft.Z3/AST.cs | 0 src/{ => dotnet}/Microsoft.Z3/ASTMap.cs | 0 src/{ => dotnet}/Microsoft.Z3/ASTVector.cs | 0 src/{ => dotnet}/Microsoft.Z3/ApplyResult.cs | 0 src/{ => dotnet}/Microsoft.Z3/Constructor.cs | 0 src/{ => dotnet}/Microsoft.Z3/Context.cs | 0 src/{ => dotnet}/Microsoft.Z3/DecRefQUeue.cs | 0 src/{ => dotnet}/Microsoft.Z3/Enumerations.cs | 0 src/{ => dotnet}/Microsoft.Z3/Expr.cs | 0 src/{ => dotnet}/Microsoft.Z3/Fixedpoint.cs | 0 src/{ => dotnet}/Microsoft.Z3/FuncDecl.cs | 0 src/{ => dotnet}/Microsoft.Z3/FuncInterp.cs | 0 src/{ => dotnet}/Microsoft.Z3/Goal.cs | 0 src/{ => dotnet}/Microsoft.Z3/Log.cs | 0 src/{ => dotnet}/Microsoft.Z3/Microsoft.Z3.csproj | 0 src/{ => dotnet}/Microsoft.Z3/Microsoft.Z3_35.csproj | 0 src/{ => dotnet}/Microsoft.Z3/Model.cs | 0 src/{ => dotnet}/Microsoft.Z3/Native.cs | 0 src/{ => dotnet}/Microsoft.Z3/Numeral.cs | 0 src/{ => dotnet}/Microsoft.Z3/ParamDescrs.cs | 0 src/{ => dotnet}/Microsoft.Z3/Params.cs | 0 src/{ => dotnet}/Microsoft.Z3/Pattern.cs | 0 src/{ => dotnet}/Microsoft.Z3/Probe.cs | 0 src/{ => dotnet}/Microsoft.Z3/Properties/AssemblyInfo.cs | 0 src/{ => dotnet}/Microsoft.Z3/Quantifier.cs | 0 src/{ => dotnet}/Microsoft.Z3/Solver.cs | 0 src/{ => dotnet}/Microsoft.Z3/Sort.cs | 0 src/{ => dotnet}/Microsoft.Z3/Statistics.cs | 0 src/{ => dotnet}/Microsoft.Z3/Status.cs | 0 src/{ => dotnet}/Microsoft.Z3/Symbol.cs | 0 src/{ => dotnet}/Microsoft.Z3/Tactic.cs | 0 src/{ => dotnet}/Microsoft.Z3/Version.cs | 0 src/{ => dotnet}/Microsoft.Z3/Z3Exception.cs | 0 src/{ => dotnet}/Microsoft.Z3/Z3Object.cs | 0 src/{ => dotnet}/Microsoft.Z3V3/AssemblyInfo.cpp | 0 src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.cpp | 0 src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.h | 0 src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj | 0 40 files changed, 2 insertions(+), 2 deletions(-) rename src/{ => dotnet}/Microsoft.Z3/AST.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/ASTMap.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/ASTVector.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/ApplyResult.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Constructor.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Context.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/DecRefQUeue.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Enumerations.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Expr.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Fixedpoint.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/FuncDecl.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/FuncInterp.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Goal.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Log.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Microsoft.Z3.csproj (100%) rename src/{ => dotnet}/Microsoft.Z3/Microsoft.Z3_35.csproj (100%) rename src/{ => dotnet}/Microsoft.Z3/Model.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Native.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Numeral.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/ParamDescrs.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Params.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Pattern.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Probe.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Properties/AssemblyInfo.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Quantifier.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Solver.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Sort.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Statistics.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Status.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Symbol.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Tactic.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Version.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Z3Exception.cs (100%) rename src/{ => dotnet}/Microsoft.Z3/Z3Object.cs (100%) rename src/{ => dotnet}/Microsoft.Z3V3/AssemblyInfo.cpp (100%) rename src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.cpp (100%) rename src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.h (100%) rename src/{ => dotnet}/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj (100%) diff --git a/scripts/config-vs-debug.mk b/scripts/config-vs-debug.mk index 7f416b37a..c4ff2dba4 100644 --- a/scripts/config-vs-debug.mk +++ b/scripts/config-vs-debug.mk @@ -8,7 +8,7 @@ AR_FLAGS=/nologo AR_OUTFLAG=/OUT: EXE_EXT=.exe LINK=cl -LINK_FLAGS=/nologo "$(WINDOWSSDKDIR)Lib\uuid.lib" "$(VSINSTALLDIR)VC\Lib\oldnames.lib" "$(VSINSTALLDIR)VC\Lib\VCOMP.lib" "$(WINDOWSSDKDIR)Lib\kernel32.lib" +LINK_FLAGS=/nologo /MDd LINK_EXTRA_FLAGS=/link /DEBUG /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT LINK_OUT_FLAG=/Fe diff --git a/scripts/config-vs-release.mk b/scripts/config-vs-release.mk index 66144df7d..5c3ee5885 100644 --- a/scripts/config-vs-release.mk +++ b/scripts/config-vs-release.mk @@ -8,7 +8,7 @@ AR_FLAGS=/nologo AR_OUTFLAG=/OUT: EXE_EXT=.exe LINK=cl -LINK_FLAGS=/nologo "$(VSINSTALLDIR)VC\Lib\libcpmt.lib" "$(WINDOWSSDKDIR)Lib\uuid.lib" "$(VSINSTALLDIR)VC\Lib\libcmt.lib" "$(VSINSTALLDIR)VC\Lib\oldnames.lib" "$(VSINSTALLDIR)VC\Lib\VCOMP.lib" "$(WINDOWSSDKDIR)Lib\kernel32.lib" +LINK_FLAGS=/nologo /MD LINK_EXTRA_FLAGS=/link /MACHINE:X86 /SUBSYSTEM:CONSOLE /INCREMENTAL:NO /STACK:"8388608" /OPT:REF /OPT:ICF /TLBID:1 /DYNAMICBASE /NXCOMPAT LINK_OUT_FLAG=/Fe diff --git a/src/Microsoft.Z3/AST.cs b/src/dotnet/Microsoft.Z3/AST.cs similarity index 100% rename from src/Microsoft.Z3/AST.cs rename to src/dotnet/Microsoft.Z3/AST.cs diff --git a/src/Microsoft.Z3/ASTMap.cs b/src/dotnet/Microsoft.Z3/ASTMap.cs similarity index 100% rename from src/Microsoft.Z3/ASTMap.cs rename to src/dotnet/Microsoft.Z3/ASTMap.cs diff --git a/src/Microsoft.Z3/ASTVector.cs b/src/dotnet/Microsoft.Z3/ASTVector.cs similarity index 100% rename from src/Microsoft.Z3/ASTVector.cs rename to src/dotnet/Microsoft.Z3/ASTVector.cs diff --git a/src/Microsoft.Z3/ApplyResult.cs b/src/dotnet/Microsoft.Z3/ApplyResult.cs similarity index 100% rename from src/Microsoft.Z3/ApplyResult.cs rename to src/dotnet/Microsoft.Z3/ApplyResult.cs diff --git a/src/Microsoft.Z3/Constructor.cs b/src/dotnet/Microsoft.Z3/Constructor.cs similarity index 100% rename from src/Microsoft.Z3/Constructor.cs rename to src/dotnet/Microsoft.Z3/Constructor.cs diff --git a/src/Microsoft.Z3/Context.cs b/src/dotnet/Microsoft.Z3/Context.cs similarity index 100% rename from src/Microsoft.Z3/Context.cs rename to src/dotnet/Microsoft.Z3/Context.cs diff --git a/src/Microsoft.Z3/DecRefQUeue.cs b/src/dotnet/Microsoft.Z3/DecRefQUeue.cs similarity index 100% rename from src/Microsoft.Z3/DecRefQUeue.cs rename to src/dotnet/Microsoft.Z3/DecRefQUeue.cs diff --git a/src/Microsoft.Z3/Enumerations.cs b/src/dotnet/Microsoft.Z3/Enumerations.cs similarity index 100% rename from src/Microsoft.Z3/Enumerations.cs rename to src/dotnet/Microsoft.Z3/Enumerations.cs diff --git a/src/Microsoft.Z3/Expr.cs b/src/dotnet/Microsoft.Z3/Expr.cs similarity index 100% rename from src/Microsoft.Z3/Expr.cs rename to src/dotnet/Microsoft.Z3/Expr.cs diff --git a/src/Microsoft.Z3/Fixedpoint.cs b/src/dotnet/Microsoft.Z3/Fixedpoint.cs similarity index 100% rename from src/Microsoft.Z3/Fixedpoint.cs rename to src/dotnet/Microsoft.Z3/Fixedpoint.cs diff --git a/src/Microsoft.Z3/FuncDecl.cs b/src/dotnet/Microsoft.Z3/FuncDecl.cs similarity index 100% rename from src/Microsoft.Z3/FuncDecl.cs rename to src/dotnet/Microsoft.Z3/FuncDecl.cs diff --git a/src/Microsoft.Z3/FuncInterp.cs b/src/dotnet/Microsoft.Z3/FuncInterp.cs similarity index 100% rename from src/Microsoft.Z3/FuncInterp.cs rename to src/dotnet/Microsoft.Z3/FuncInterp.cs diff --git a/src/Microsoft.Z3/Goal.cs b/src/dotnet/Microsoft.Z3/Goal.cs similarity index 100% rename from src/Microsoft.Z3/Goal.cs rename to src/dotnet/Microsoft.Z3/Goal.cs diff --git a/src/Microsoft.Z3/Log.cs b/src/dotnet/Microsoft.Z3/Log.cs similarity index 100% rename from src/Microsoft.Z3/Log.cs rename to src/dotnet/Microsoft.Z3/Log.cs diff --git a/src/Microsoft.Z3/Microsoft.Z3.csproj b/src/dotnet/Microsoft.Z3/Microsoft.Z3.csproj similarity index 100% rename from src/Microsoft.Z3/Microsoft.Z3.csproj rename to src/dotnet/Microsoft.Z3/Microsoft.Z3.csproj diff --git a/src/Microsoft.Z3/Microsoft.Z3_35.csproj b/src/dotnet/Microsoft.Z3/Microsoft.Z3_35.csproj similarity index 100% rename from src/Microsoft.Z3/Microsoft.Z3_35.csproj rename to src/dotnet/Microsoft.Z3/Microsoft.Z3_35.csproj diff --git a/src/Microsoft.Z3/Model.cs b/src/dotnet/Microsoft.Z3/Model.cs similarity index 100% rename from src/Microsoft.Z3/Model.cs rename to src/dotnet/Microsoft.Z3/Model.cs diff --git a/src/Microsoft.Z3/Native.cs b/src/dotnet/Microsoft.Z3/Native.cs similarity index 100% rename from src/Microsoft.Z3/Native.cs rename to src/dotnet/Microsoft.Z3/Native.cs diff --git a/src/Microsoft.Z3/Numeral.cs b/src/dotnet/Microsoft.Z3/Numeral.cs similarity index 100% rename from src/Microsoft.Z3/Numeral.cs rename to src/dotnet/Microsoft.Z3/Numeral.cs diff --git a/src/Microsoft.Z3/ParamDescrs.cs b/src/dotnet/Microsoft.Z3/ParamDescrs.cs similarity index 100% rename from src/Microsoft.Z3/ParamDescrs.cs rename to src/dotnet/Microsoft.Z3/ParamDescrs.cs diff --git a/src/Microsoft.Z3/Params.cs b/src/dotnet/Microsoft.Z3/Params.cs similarity index 100% rename from src/Microsoft.Z3/Params.cs rename to src/dotnet/Microsoft.Z3/Params.cs diff --git a/src/Microsoft.Z3/Pattern.cs b/src/dotnet/Microsoft.Z3/Pattern.cs similarity index 100% rename from src/Microsoft.Z3/Pattern.cs rename to src/dotnet/Microsoft.Z3/Pattern.cs diff --git a/src/Microsoft.Z3/Probe.cs b/src/dotnet/Microsoft.Z3/Probe.cs similarity index 100% rename from src/Microsoft.Z3/Probe.cs rename to src/dotnet/Microsoft.Z3/Probe.cs diff --git a/src/Microsoft.Z3/Properties/AssemblyInfo.cs b/src/dotnet/Microsoft.Z3/Properties/AssemblyInfo.cs similarity index 100% rename from src/Microsoft.Z3/Properties/AssemblyInfo.cs rename to src/dotnet/Microsoft.Z3/Properties/AssemblyInfo.cs diff --git a/src/Microsoft.Z3/Quantifier.cs b/src/dotnet/Microsoft.Z3/Quantifier.cs similarity index 100% rename from src/Microsoft.Z3/Quantifier.cs rename to src/dotnet/Microsoft.Z3/Quantifier.cs diff --git a/src/Microsoft.Z3/Solver.cs b/src/dotnet/Microsoft.Z3/Solver.cs similarity index 100% rename from src/Microsoft.Z3/Solver.cs rename to src/dotnet/Microsoft.Z3/Solver.cs diff --git a/src/Microsoft.Z3/Sort.cs b/src/dotnet/Microsoft.Z3/Sort.cs similarity index 100% rename from src/Microsoft.Z3/Sort.cs rename to src/dotnet/Microsoft.Z3/Sort.cs diff --git a/src/Microsoft.Z3/Statistics.cs b/src/dotnet/Microsoft.Z3/Statistics.cs similarity index 100% rename from src/Microsoft.Z3/Statistics.cs rename to src/dotnet/Microsoft.Z3/Statistics.cs diff --git a/src/Microsoft.Z3/Status.cs b/src/dotnet/Microsoft.Z3/Status.cs similarity index 100% rename from src/Microsoft.Z3/Status.cs rename to src/dotnet/Microsoft.Z3/Status.cs diff --git a/src/Microsoft.Z3/Symbol.cs b/src/dotnet/Microsoft.Z3/Symbol.cs similarity index 100% rename from src/Microsoft.Z3/Symbol.cs rename to src/dotnet/Microsoft.Z3/Symbol.cs diff --git a/src/Microsoft.Z3/Tactic.cs b/src/dotnet/Microsoft.Z3/Tactic.cs similarity index 100% rename from src/Microsoft.Z3/Tactic.cs rename to src/dotnet/Microsoft.Z3/Tactic.cs diff --git a/src/Microsoft.Z3/Version.cs b/src/dotnet/Microsoft.Z3/Version.cs similarity index 100% rename from src/Microsoft.Z3/Version.cs rename to src/dotnet/Microsoft.Z3/Version.cs diff --git a/src/Microsoft.Z3/Z3Exception.cs b/src/dotnet/Microsoft.Z3/Z3Exception.cs similarity index 100% rename from src/Microsoft.Z3/Z3Exception.cs rename to src/dotnet/Microsoft.Z3/Z3Exception.cs diff --git a/src/Microsoft.Z3/Z3Object.cs b/src/dotnet/Microsoft.Z3/Z3Object.cs similarity index 100% rename from src/Microsoft.Z3/Z3Object.cs rename to src/dotnet/Microsoft.Z3/Z3Object.cs diff --git a/src/Microsoft.Z3V3/AssemblyInfo.cpp b/src/dotnet/Microsoft.Z3V3/AssemblyInfo.cpp similarity index 100% rename from src/Microsoft.Z3V3/AssemblyInfo.cpp rename to src/dotnet/Microsoft.Z3V3/AssemblyInfo.cpp diff --git a/src/Microsoft.Z3V3/Microsoft.Z3V3.cpp b/src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.cpp similarity index 100% rename from src/Microsoft.Z3V3/Microsoft.Z3V3.cpp rename to src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.cpp diff --git a/src/Microsoft.Z3V3/Microsoft.Z3V3.h b/src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.h similarity index 100% rename from src/Microsoft.Z3V3/Microsoft.Z3V3.h rename to src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.h diff --git a/src/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj similarity index 100% rename from src/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj rename to src/dotnet/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj