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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
-- Copyright (c) 2026 Progmasoft.
-- SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
local repository_root = path.getabsolute(".")
local generated_include = path.join(repository_root, "build", "premake", "generated")
local configure_catch3 = dofile(path.join(repository_root, "buildsupport", "catch3_config.lua"))
configure_catch3.generate(generated_include, repository_root)
-- yyjson and pugixml, compiled into the library.
include "third_party/yyjson"
include "third_party/pugixml"
workspace "Catch3"
location "build/premake"
configurations { "Debug", "Release" }
startproject "ProgmasoftPropertyTests"
filter "system:windows"
architecture "x86_64"
toolset "clang"
filter {}
filter "system:macosx"
toolset "clang"
filter {}
filter "configurations:Debug"
symbols "On"
runtime "Debug"
filter "configurations:Release"
optimize "Speed"
runtime "Release"
filter {}
-- The Catch2-compatible engine, the Catch3 runner, property testing and
-- snapshots; the library is C++20, the engine's headers need only C++14 in
-- the code that includes them.
project "Catch3"
kind "StaticLib"
language "C++"
cppdialect "C++20"
targetdir "build/premake/bin/%{cfg.buildcfg}"
objdir "build/premake/obj/Catch3/%{cfg.buildcfg}"
files {
"src/Progmasoft/Catch3/**.cpp",
"src/Progmasoft/Runner/*.cpp",
"src/Progmasoft/Runner/*.hpp",
"src/Progmasoft/Results.cpp",
"src/Progmasoft/XmlWriter.cpp",
"src/Progmasoft/ChoiceShrinker.cpp",
"src/Progmasoft/StrategyContext.cpp",
"src/Progmasoft/PropertyEngine.cpp",
"src/Progmasoft/Snapshot.cpp",
"src/Progmasoft/Catch3/**.hpp",
"src/Progmasoft/Catch3.hpp",
path.join(generated_include, "Progmasoft", "Catch3", "UserConfig.hpp"),
}
removefiles { "src/Progmasoft/Catch3/Internal/Main.cpp" }
includedirs { "src", generated_include }
-- The JSON and XML libraries of the runner are compiled into its own
-- translation units.
externalincludedirs { catch3_third_party.yyjson, catch3_third_party.pugixml }
project "Catch3WithMain"
kind "StaticLib"
language "C++"
cppdialect "C++14"
-- Visual Studio injects UNICODE for Windows projects, which would select
-- Catch2's wmain entry point instead of the normal console main.
defines { "DO_NOT_USE_WMAIN" }
targetdir "build/premake/bin/%{cfg.buildcfg}"
objdir "build/premake/obj/Catch3WithMain/%{cfg.buildcfg}"
files { "src/Progmasoft/Catch3/Internal/Main.cpp" }
includedirs { "src", generated_include }
links { "Catch3" }
project "ProgmasoftPropertyTests"
kind "ConsoleApp"
language "C++"
cppdialect "C++20"
targetdir "build/premake/bin/%{cfg.buildcfg}"
objdir "build/premake/obj/ProgmasoftPropertyTests/%{cfg.buildcfg}"
files {
"tests/Progmasoft/Generators.tests.cpp",
"tests/Progmasoft/Property.tests.cpp",
"tests/Progmasoft/ForAll.tests.cpp",
"tests/Progmasoft/Results.tests.cpp",
"tests/Progmasoft/Runner.tests.cpp",
"tests/Progmasoft/RunnerUnits.tests.cpp",
"tests/Progmasoft/RunnerPlanner.tests.cpp",
"tests/Progmasoft/RunnerOptions.tests.cpp",
"tests/Progmasoft/RunnerConfig.tests.cpp",
"tests/Progmasoft/RunnerAnalysis.tests.cpp",
"tests/Progmasoft/RunnerOutput.tests.cpp",
"tests/Progmasoft/Snapshot.tests.cpp",
"tests/Progmasoft/Stateful.tests.cpp",
"tests/Progmasoft/Strategy.tests.cpp",
"src/Progmasoft/**.hpp",
}
includedirs { "src", generated_include }
links { "Catch3WithMain", "Catch3" }
|