Test ran at 2024-10-21 00:50:52.228058+00:00 SOLUTION: samd51_hal=0.3.0: Drivers and HAL for the SAMD51 micro-controller family Origin: commit cc5473956b60b8cdceea7069c3e3c4e09e51d078 from https://github.com/Fabien-Chouteau/samd51-hal.git Properties: Auto_Gpr_With: auto-gpr-with=false Configuration: no modifiers Description: Drivers and HAL for the SAMD51 micro-controller family License: BSD-3-Clause Maintainer: chouteau@adacore.com Maintainers_Logins: Fabien-Chouteau Name: samd51_hal Project_File: ATSAMD51G18A.gpr Project_File: ATSAMD51J18A.gpr Project_File: ATSAMD51J20A.gpr Project_File: ATSAMD51N20A.gpr Project_File: ATSAMD51P20A.gpr Project_File: ATSAMD51G19A.gpr Project_File: ATSAMD51J19A.gpr Project_File: ATSAMD51N19A.gpr Project_File: ATSAMD51P19A.gpr Tag: embedded Tag: nostd Tag: atsamd51 Tag: microchip Tag: atmel Tag: drivers Version: 0.3.0 Website: https://github.com/Fabien-Chouteau/samd51-hal Dependencies (direct): cortex_m~0.1 gnat_arm_elf^11.2.2 hal~0.1 usb_embedded~0.2 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.1 cortex_m=0.1.0 gnat=11.2.4 (gnat_arm_elf) (installed) gnat_arm_elf=11.2.4 (installed) hal=0.1.0 usb_embedded=0.2.0 Dependencies (graph): bbqueue=0.3.1 --> atomic=0.5.0 (~0.5) bbqueue=0.3.1 --> gnat=11.2.4 (gnat_arm_elf) (>=10) cortex_m=0.1.0 --> hal=0.1.0 (^0.1.0) samd51_hal=0.3.0 --> cortex_m=0.1.0 (~0.1) samd51_hal=0.3.0 --> gnat_arm_elf=11.2.4 (^11.2.2) samd51_hal=0.3.0 --> hal=0.1.0 (~0.1) samd51_hal=0.3.0 --> usb_embedded=0.2.0 (~0.2) usb_embedded=0.2.0 --> bbqueue=0.3.1 (~0.3.0) usb_embedded=0.2.0 --> hal=0.1.0 (~0.1.0) LOG: Note: Deploying samd51_hal=0.3.0... Note: Deploying atomic=0.5.0... Note: Deploying hal=0.1.0... #=#=# ######################################################################## 100.0% Note: Deploying bbqueue=0.3.1... Note: Deploying cortex_m=0.1.0... #=#=# ######################################################################## 100.0% Note: Deploying usb_embedded=0.2.0... Note: Building samd51_hal/ATSAMD51G18A.gpr (1/9)... Setup [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project Cortex_M4F [mkdir] object directory for project Atomic [mkdir] library directory for project Atomic [mkdir] object directory for project BBqueue [mkdir] library directory for project BBqueue [mkdir] object directory for project Usb_Embedded [mkdir] library directory for project Usb_Embedded [mkdir] object directory for project ATSAMD51G18A Compile [Ada] atomic.adb [Ada] atomic-signed.adb [Ada] atomic-unsigned.adb [Ada] atomic_config.ads [Ada] atomic-unsigned_32.ads [Ada] atomic-unsigned_16.ads [Ada] atomic-signed_16.ads [Ada] atomic-unsigned_8.ads [Ada] atomic-signed_8.ads [Ada] atomic-signed_32.ads [Ada] bbqueue-buffers-framed.adb [Ada] bbqueue.adb [Ada] bbqueue-buffers.adb [Ada] usb-device-hid-mouse.adb [Ada] usb-hal-device.ads [Ada] usb-device-control.adb [Ada] usb-device-hid-gamepad.adb [Ada] usb-utils.adb [Ada] usb-lang.ads [Ada] usb-hal.ads [Ada] usb-logging-device.adb [Ada] usb-device-hid-keyboard.adb [Ada] usb.adb [Ada] usb-logging.ads [Ada] usb-device-midi.adb [Ada] usb-device-hid.adb [Ada] usb-device-hid-joystick.adb [Ada] usb-device-serial.adb [Ada] usb-device.adb [Ada] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m-fpu.adb [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-fpu.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd-mpu.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd.ads [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] cortex_m-debug.adb [Ada] memory_barriers.adb [Ada] semihosting-filesystem.adb [Ada] semihosting.adb [Ada] cortex_m-systick.adb [Ada] hal-i2c.ads [Ada] hal-framebuffer.ads [Ada] hal-bitmap.ads [Ada] hal-filesystem.ads [Ada] hal-gpio.ads [Ada] hal-spi.ads [Ada] hal.ads [Ada] hal-uart.ads [Ada] hal-sdmmc.adb [Ada] hal-audio.ads [Ada] hal-real_time_clock.ads [Ada] hal-touch_panel.ads [Ada] hal-time.ads [Ada] hal-block_drivers.ads [Ada] hal-dsi.ads [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Build Libraries [gprlib] hal.lexch [gprlib] Atomic.lexch [gprlib] Bbqueue.lexch [archive] libhal.a [archive] libAtomic.a [index] libhal.a [index] libAtomic.a [gprlib] Usb_Embedded.lexch [archive] libBbqueue.a [index] libBbqueue.a [archive] libUsb_Embedded.a [index] libUsb_Embedded.a Note: Building samd51_hal/ATSAMD51J18A.gpr (2/9)... Setup [mkdir] object directory for project ATSAMD51J18A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51J20A.gpr (3/9)... Setup [mkdir] object directory for project ATSAMD51J20A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51N20A.gpr (4/9)... Setup [mkdir] object directory for project ATSAMD51N20A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51P20A.gpr (5/9)... Setup [mkdir] object directory for project ATSAMD51P20A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51G19A.gpr (6/9)... Setup [mkdir] object directory for project ATSAMD51G19A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51J19A.gpr (7/9)... Setup [mkdir] object directory for project ATSAMD51J19A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51N19A.gpr (8/9)... Setup [mkdir] object directory for project ATSAMD51N19A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Note: Building samd51_hal/ATSAMD51P19A.gpr (9/9)... Setup [mkdir] object directory for project ATSAMD51P19A Compile [Ada] sam-main_clock.adb [Ada] sam-clock_generator-ids.ads [Ada] sam-functions.ads [Ada] sam-interrupt_names.ads [Ada] sam-device.ads [Ada] sam_svd-gclk.ads [Ada] sam-clock_generator.adb [Ada] sam-dmac.adb [Ada] sam-dmac-sources.ads [Ada] sam_svd-dmac.ads [Ada] sam-usb.adb [Ada] sam_svd-usb.ads [Ada] sam-sercom-spi.adb [Ada] sam-sercom.adb [Ada] sam-sercom-usart.adb [Ada] sam-sercom-i2c.adb [Ada] sam_svd-oscctrl.ads [Ada] sam-oscillators_controller.adb [Ada] sam_svd-cmcc.ads [Ada] sam-cmcc.adb [Ada] sam-clock_setup_120mhz.adb [Ada] sam-port.adb [Ada] sam-tc.adb [Ada] sam_svd-tc.ads [Ada] sam-dac.adb [Ada] sam_svd-dac.ads [Ada] sam-qspi.adb [Ada] sam_svd-qspi.ads [Ada] sam-adc.adb [Ada] sam_svd-adc.ads [Ada] sam_svd-eic.ads [Ada] sam-eic.adb [Ada] sam_svd.ads [Ada] sam.ads Build finished successfully in 15.05 seconds. samd51_hal=0.3.0 successfully retrieved and built. Dependencies were solved as follows: + atomic 0.5.0 (new,indirect) + bbqueue 0.3.1 (new,indirect) + cortex_m 0.1.0 (new) +i gnat 11.2.4 (new,installed,gnat_arm_elf,indirect) +i gnat_arm_elf 11.2.4 (new,installed) + hal 0.1.0 (new) + usb_embedded 0.2.0 (new) Found declared GPR file: ATSAMD51G18A.gpr Found declared GPR file: ATSAMD51J18A.gpr Found declared GPR file: ATSAMD51J20A.gpr Found declared GPR file: ATSAMD51N20A.gpr Found declared GPR file: ATSAMD51P20A.gpr Found declared GPR file: ATSAMD51G19A.gpr Found declared GPR file: ATSAMD51J19A.gpr Found declared GPR file: ATSAMD51N19A.gpr Found declared GPR file: ATSAMD51P19A.gpr