sel4 hacer

1. Antecedentes

Al observar el proceso de compilación de sel4, encontré un sistema de compilación creado con cmake, por lo que este artículo registra la sintaxis relacionada con cmake para una revisión rápida más adelante.

2. herramienta de creación

2.1 Ver versión cmake

cmake --version

Muestra: cmake versión 3.10.2

2.2 Ver la ubicación de instalación de cmake

which cmake

Mostrar: /usr/bin/cmake

2.3 Cambiar a una versión superior cmake

export PATH=/usr/cmake-3.23.0-linux-x86_64/bin:$PATH
cmake --version

Versión de pantalla: cmake versión 3.23.0

which cmake

Muestra la ruta modificada: /usr/cmake-3.23.0-linux-x86_64/bin/cmake

3. Gramática

3.1 cmake_minimum_required(VERSIÓN 3.7.2)

Significa que la versión mínima de cmake requerida por el sistema de compilación es 3.7.2. Dado que la versión predeterminada de cmake de mi sistema es 3.10.2, realicé una actualización y se requiere una versión superior de cmake en otro lugar.

3.2 incluir (configuraciones.cmake)

Incluya otros archivos cmake, los archivos incluidos generalmente terminan con cmake

Proyecto 3.3 (sel4test C CXX ASM)

Nombre del proyecto: sel4test
Lenguaje de programación compatible: c c++ ASM

3.4 find_package(seL4 REQUERIDO)

Busque el archivo FindseL4.cmake

./kernel/FindseL4.cmake

3.5 conjunto (KernelRootCNodeSizeBits 13 CACHE INTERNO "")

Configuración de variables, establezca KernelRootCNodeSizeBits en 13

3.6 mensaje

Envíe información personalizada a los usuarios finales, que incluye principalmente 3 tipos de información:

  • SEND_ERROR error de producción, se omitió el proceso de producción;
  • STATUS emite información con el prefijo –;
  • FATAL_ERROR finaliza todos los procesos de cmake inmediatamente.
    Ejemplo:
message(STATUS "binary dir ${sel4test_BINARY_DIR}")
message(STATUS "source dir ${sel4test_SOURCE_DIR}")

3.7 secuencias de comandos de caché cmake

Los scripts de caché de CMake proporcionan un subconjunto de opciones preconfiguradas, lo que permite a los usuarios del proyecto evitar configurar cada opción manualmente. Los scripts de caché tienen una extensión de archivo de .cmake.
Los proyectos pueden proporcionar archivos de secuencias de comandos de caché, cada uno de los cuales contiene la configuración de caché necesaria para configurar una sola función u opción. Al combinar varios archivos .cmake, un proyecto se puede inicializar de una manera específica. La configuración del script de caché se proporciona al pasar -C <archivo> a cmake al inicializar el directorio de compilación.

3.8 Actualización continua...

Supongo que te gusta

Origin blog.csdn.net/weixin_47139576/article/details/131561549
Recomendado
Clasificación