sel4test/CMakePresets.json at HighSpeedCProxy · Baozixu99/sel4test · GitHub

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
{
    "version": 3,
    "configurePresets": [
        {
            "name": "phytium-pi-debug",
            "displayName": "Phytium Pi Debug Build",
            "description": "Debug build for Phytium Pi development board",
            "generator": "Ninja",
            "binaryDir": "${sourceDir}/build-phytium-pi",
            "cacheVariables": {
                "CMAKE_TOOLCHAIN_FILE": "${sourceDir}/kernel/gcc.cmake",
                "PLATFORM": "phytium-pi",
                "AARCH64": "ON",
                "KernelSel4Arch": "aarch64",
                "SIMULATION": "OFF",
                "KernelVerificationBuild": "OFF",
                "KernelDebugBuild": "ON",
                "KernelPrinting": "ON"
            }
        },
        {
            "name": "phytium-pi-release",
            "displayName": "Phytium Pi Release Build",
            "description": "Release build for Phytium Pi development board",
            "generator": "Ninja",
            "binaryDir": "${sourceDir}/build-phytium-pi-release",
            "cacheVariables": {
                "CMAKE_TOOLCHAIN_FILE": "${sourceDir}/kernel/gcc.cmake",
                "PLATFORM": "phytium-pi",
                "AARCH64": "ON",
                "KernelSel4Arch": "aarch64",
                "SIMULATION": "OFF",
                "KernelVerificationBuild": "OFF",
                "KernelDebugBuild": "OFF",
                "KernelPrinting": "OFF",
                "CMAKE_BUILD_TYPE": "Release"
            }
        }
    ],
    "buildPresets": [
        {
            "name": "phytium-pi-debug",
            "configurePreset": "phytium-pi-debug"
        },
        {
            "name": "phytium-pi-release",
            "configurePreset": "phytium-pi-release"
        }
    ]
}