Skip to content

Commit 4212b19

Browse files
ddeclercklefessan
ddeclerck
authored and
lefessan
committed
Various GC3 fixes
1 parent 4070183 commit 4212b19

25 files changed

Lines changed: 116 additions & 15 deletions

‎build_windows/ChangeLog.txt‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,12 @@
11

2+
2026-08-14 David Declerck <david.declerck@ocamlpro.com>
3+
4+
* set the UseDebugLibraries property in all project files
5+
6+
2025-03-26 David Declerck <david.declerck@ocamlpro.com>
7+
8+
* general for cobc: include new gentable.c
9+
210
2025-03-26 David Declerck <david.declerck@ocamlpro.com>
311

412
* general for cobc: include new gentable.c

‎build_windows/vs2010/cobc.vcxproj‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,23 +30,27 @@
3030
<CharacterSet>
3131
</CharacterSet>
3232
<WholeProgramOptimization>true</WholeProgramOptimization>
33+
<UseDebugLibraries>false</UseDebugLibraries>
3334
</PropertyGroup>
3435
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3536
<ConfigurationType>Application</ConfigurationType>
3637
<CharacterSet>
3738
</CharacterSet>
39+
<UseDebugLibraries>true</UseDebugLibraries>
3840
</PropertyGroup>
3941
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4042
<ConfigurationType>Application</ConfigurationType>
4143
<CharacterSet>
4244
</CharacterSet>
4345
<WholeProgramOptimization>true</WholeProgramOptimization>
46+
<UseDebugLibraries>false</UseDebugLibraries>
4447
<PlatformToolset>Windows7.1SDK</PlatformToolset>
4548
</PropertyGroup>
4649
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4750
<ConfigurationType>Application</ConfigurationType>
4851
<CharacterSet>
4952
</CharacterSet>
53+
<UseDebugLibraries>true</UseDebugLibraries>
5054
<PlatformToolset>Windows7.1SDK</PlatformToolset>
5155
</PropertyGroup>
5256
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />

‎build_windows/vs2010/cobcrun.vcxproj‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,23 +30,27 @@
3030
<CharacterSet>
3131
</CharacterSet>
3232
<WholeProgramOptimization>true</WholeProgramOptimization>
33+
<UseDebugLibraries>false</UseDebugLibraries>
3334
</PropertyGroup>
3435
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3536
<ConfigurationType>Application</ConfigurationType>
3637
<CharacterSet>
3738
</CharacterSet>
39+
<UseDebugLibraries>true</UseDebugLibraries>
3840
</PropertyGroup>
3941
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4042
<ConfigurationType>Application</ConfigurationType>
4143
<CharacterSet>
4244
</CharacterSet>
4345
<WholeProgramOptimization>true</WholeProgramOptimization>
46+
<UseDebugLibraries>false</UseDebugLibraries>
4447
<PlatformToolset>Windows7.1SDK</PlatformToolset>
4548
</PropertyGroup>
4649
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4750
<ConfigurationType>Application</ConfigurationType>
4851
<CharacterSet>
4952
</CharacterSet>
53+
<UseDebugLibraries>true</UseDebugLibraries>
5054
<PlatformToolset>Windows7.1SDK</PlatformToolset>
5155
</PropertyGroup>
5256
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
@@ -211,4 +215,4 @@
211215
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
212216
<ImportGroup Label="ExtensionTargets">
213217
</ImportGroup>
214-
</Project>
218+
</Project>

‎build_windows/vs2010/libcob.vcxproj‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,17 +28,21 @@
2828
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
2929
<ConfigurationType>DynamicLibrary</ConfigurationType>
3030
<WholeProgramOptimization>true</WholeProgramOptimization>
31+
<UseDebugLibraries>false</UseDebugLibraries>
3132
</PropertyGroup>
3233
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3334
<ConfigurationType>DynamicLibrary</ConfigurationType>
35+
<UseDebugLibraries>true</UseDebugLibraries>
3436
</PropertyGroup>
3537
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
3638
<ConfigurationType>DynamicLibrary</ConfigurationType>
3739
<WholeProgramOptimization>true</WholeProgramOptimization>
40+
<UseDebugLibraries>false</UseDebugLibraries>
3841
<PlatformToolset>Windows7.1SDK</PlatformToolset>
3942
</PropertyGroup>
4043
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4144
<ConfigurationType>DynamicLibrary</ConfigurationType>
45+
<UseDebugLibraries>true</UseDebugLibraries>
4246
<PlatformToolset>Windows7.1SDK</PlatformToolset>
4347
</PropertyGroup>
4448
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />

‎build_windows/vs2010/libsupport.vcxproj‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,23 +30,27 @@
3030
<CharacterSet>
3131
</CharacterSet>
3232
<WholeProgramOptimization>true</WholeProgramOptimization>
33+
<UseDebugLibraries>false</UseDebugLibraries>
3334
</PropertyGroup>
3435
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3536
<ConfigurationType>StaticLibrary</ConfigurationType>
3637
<CharacterSet>
3738
</CharacterSet>
39+
<UseDebugLibraries>true</UseDebugLibraries>
3840
</PropertyGroup>
3941
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4042
<ConfigurationType>StaticLibrary</ConfigurationType>
4143
<CharacterSet>
4244
</CharacterSet>
4345
<WholeProgramOptimization>true</WholeProgramOptimization>
46+
<UseDebugLibraries>false</UseDebugLibraries>
4447
<PlatformToolset>Windows7.1SDK</PlatformToolset>
4548
</PropertyGroup>
4649
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4750
<ConfigurationType>StaticLibrary</ConfigurationType>
4851
<CharacterSet>
4952
</CharacterSet>
53+
<UseDebugLibraries>true</UseDebugLibraries>
5054
<PlatformToolset>Windows7.1SDK</PlatformToolset>
5155
</PropertyGroup>
5256
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
@@ -197,4 +201,4 @@
197201
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
198202
<ImportGroup Label="ExtensionTargets">
199203
</ImportGroup>
200-
</Project>
204+
</Project>

‎build_windows/vs2012/cobc.vcxproj‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,26 +27,30 @@
2727
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
2828
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
2929
<ConfigurationType>Application</ConfigurationType>
30+
<UseDebugLibraries>false</UseDebugLibraries>
3031
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3132
<CharacterSet>
3233
</CharacterSet>
3334
<WholeProgramOptimization>true</WholeProgramOptimization>
3435
</PropertyGroup>
3536
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3637
<ConfigurationType>Application</ConfigurationType>
38+
<UseDebugLibraries>true</UseDebugLibraries>
3739
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3840
<CharacterSet>
3941
</CharacterSet>
4042
</PropertyGroup>
4143
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4244
<ConfigurationType>Application</ConfigurationType>
45+
<UseDebugLibraries>false</UseDebugLibraries>
4346
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4447
<CharacterSet>
4548
</CharacterSet>
4649
<WholeProgramOptimization>true</WholeProgramOptimization>
4750
</PropertyGroup>
4851
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4952
<ConfigurationType>Application</ConfigurationType>
53+
<UseDebugLibraries>true</UseDebugLibraries>
5054
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
5155
<CharacterSet>
5256
</CharacterSet>

‎build_windows/vs2012/cobcrun.vcxproj‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,26 +27,30 @@
2727
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
2828
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
2929
<ConfigurationType>Application</ConfigurationType>
30+
<UseDebugLibraries>false</UseDebugLibraries>
3031
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3132
<CharacterSet>
3233
</CharacterSet>
3334
<WholeProgramOptimization>true</WholeProgramOptimization>
3435
</PropertyGroup>
3536
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3637
<ConfigurationType>Application</ConfigurationType>
38+
<UseDebugLibraries>true</UseDebugLibraries>
3739
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3840
<CharacterSet>
3941
</CharacterSet>
4042
</PropertyGroup>
4143
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4244
<ConfigurationType>Application</ConfigurationType>
45+
<UseDebugLibraries>false</UseDebugLibraries>
4346
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4447
<CharacterSet>
4548
</CharacterSet>
4649
<WholeProgramOptimization>true</WholeProgramOptimization>
4750
</PropertyGroup>
4851
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4952
<ConfigurationType>Application</ConfigurationType>
53+
<UseDebugLibraries>true</UseDebugLibraries>
5054
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
5155
<CharacterSet>
5256
</CharacterSet>
@@ -215,4 +219,4 @@
215219
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
216220
<ImportGroup Label="ExtensionTargets">
217221
</ImportGroup>
218-
</Project>
222+
</Project>

‎build_windows/vs2012/libcob.vcxproj‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,20 +27,24 @@
2727
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
2828
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
2929
<ConfigurationType>DynamicLibrary</ConfigurationType>
30+
<UseDebugLibraries>false</UseDebugLibraries>
3031
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3132
<WholeProgramOptimization>true</WholeProgramOptimization>
3233
</PropertyGroup>
3334
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3435
<ConfigurationType>DynamicLibrary</ConfigurationType>
36+
<UseDebugLibraries>true</UseDebugLibraries>
3537
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3638
</PropertyGroup>
3739
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
3840
<ConfigurationType>DynamicLibrary</ConfigurationType>
41+
<UseDebugLibraries>false</UseDebugLibraries>
3942
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4043
<WholeProgramOptimization>true</WholeProgramOptimization>
4144
</PropertyGroup>
4245
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4346
<ConfigurationType>DynamicLibrary</ConfigurationType>
47+
<UseDebugLibraries>true</UseDebugLibraries>
4448
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4549
</PropertyGroup>
4650
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />

‎build_windows/vs2012/libsupport.vcxproj‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,25 +30,29 @@
3030
<CharacterSet>
3131
</CharacterSet>
3232
<WholeProgramOptimization>true</WholeProgramOptimization>
33+
<UseDebugLibraries>false</UseDebugLibraries>
3334
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3435
</PropertyGroup>
3536
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3637
<ConfigurationType>StaticLibrary</ConfigurationType>
3738
<CharacterSet>
3839
</CharacterSet>
40+
<UseDebugLibraries>true</UseDebugLibraries>
3941
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4042
</PropertyGroup>
4143
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4244
<ConfigurationType>StaticLibrary</ConfigurationType>
4345
<CharacterSet>
4446
</CharacterSet>
4547
<WholeProgramOptimization>true</WholeProgramOptimization>
48+
<UseDebugLibraries>false</UseDebugLibraries>
4649
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4750
</PropertyGroup>
4851
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4952
<ConfigurationType>StaticLibrary</ConfigurationType>
5053
<CharacterSet>
5154
</CharacterSet>
55+
<UseDebugLibraries>true</UseDebugLibraries>
5256
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
5357
</PropertyGroup>
5458
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
@@ -199,4 +203,4 @@
199203
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
200204
<ImportGroup Label="ExtensionTargets">
201205
</ImportGroup>
202-
</Project>
206+
</Project>

‎build_windows/vs2013/cobc.vcxproj‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,25 +30,29 @@
3030
<CharacterSet>
3131
</CharacterSet>
3232
<WholeProgramOptimization>true</WholeProgramOptimization>
33+
<UseDebugLibraries>false</UseDebugLibraries>
3334
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
3435
</PropertyGroup>
3536
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
3637
<ConfigurationType>Application</ConfigurationType>
3738
<CharacterSet>
3839
</CharacterSet>
40+
<UseDebugLibraries>true</UseDebugLibraries>
3941
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4042
</PropertyGroup>
4143
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
4244
<ConfigurationType>Application</ConfigurationType>
4345
<CharacterSet>
4446
</CharacterSet>
4547
<WholeProgramOptimization>true</WholeProgramOptimization>
48+
<UseDebugLibraries>false</UseDebugLibraries>
4649
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
4750
</PropertyGroup>
4851
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
4952
<ConfigurationType>Application</ConfigurationType>
5053
<CharacterSet>
5154
</CharacterSet>
55+
<UseDebugLibraries>true</UseDebugLibraries>
5256
<PlatformToolset>$(DefaultPlatformToolset)</PlatformToolset>
5357
</PropertyGroup>
5458
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />

0 commit comments

Comments
 (0)