Test ran at 2024-10-18 00:37:27.113924+00:00 SOLUTION: stm32f0x2_hal=0.1.0: Drivers and HAL for stm32f0x2 mcu family Origin: commit 85eaea484c5010ac2fdb6b8849b20af4ae77a101 from https://github.com/dkm/stm32f0x2_hal-ada.git Properties: Author: AdaCore Author: Marc Poulhiès Config set: atomic {backend := armv6m} Config set: cortex_m {core := m0} Config type: Use_Startup : Boolean default: 'true' Configuration: no modifiers Description: Drivers and HAL for stm32f0x2 mcu family License: GPL-3.0-or-later AND BSD-3-Clause Maintainer: Marc Poulhiès Maintainers_Logins: dkm Name: stm32f0x2_hal Tag: embedded Tag: stm32f0 Tag: nostd Tag: drivers Version: 0.1.0 Website: https://github.com/dkm/stm32f0x2_hal-ada Dependencies (direct): cortex_m~0.5 gnat_arm_elf^12 hal~0.3 usb_embedded~0.3 Dependencies (solution): atomic=0.5.0 bbqueue=0.3.1 cortex_m=0.5.0 gnat=12.2.1 (gnat_arm_elf) (installed) gnat_arm_elf=12.2.1 (installed) hal=0.3.0 usb_embedded=0.3.0 Dependencies (graph): bbqueue=0.3.1 --> atomic=0.5.0 (~0.5) bbqueue=0.3.1 --> gnat=12.2.1 (gnat_arm_elf) (>=10) cortex_m=0.5.0 --> gnat_arm_elf=12.2.1 (>=12) cortex_m=0.5.0 --> hal=0.3.0 (~0.3) stm32f0x2_hal=0.1.0 --> cortex_m=0.5.0 (~0.5) stm32f0x2_hal=0.1.0 --> gnat_arm_elf=12.2.1 (^12) stm32f0x2_hal=0.1.0 --> hal=0.3.0 (~0.3) stm32f0x2_hal=0.1.0 --> usb_embedded=0.3.0 (~0.3) usb_embedded=0.3.0 --> bbqueue=0.3.1 (~0.3.0) usb_embedded=0.3.0 --> hal=0.3.0 (~0.3) LOG: Note: Deploying stm32f0x2_hal=0.1.0... Note: Deploying atomic=0.5.0... Note: Deploying hal=0.3.0... Note: Deploying bbqueue=0.3.1... Note: Deploying cortex_m=0.5.0... Note: Deploying usb_embedded=0.3.0... Note: Building stm32f0x2_hal/stm32f0x2_hal.gpr... Setup [mkdir] object directory for project HAL [mkdir] library directory for project HAL [mkdir] object directory for project Cortex_M [mkdir] library directory for project Cortex_M [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 Stm32f0x2_Hal [mkdir] library directory for project Stm32f0x2_Hal Compile [Ada] atomic-critical_section.adb [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_embedded_config.ads [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-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] usb-logging-device__null.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] cortex_m-nvic.adb [Ada] cortex_m-cache.adb [Ada] cortex_m_svd-nvic.ads [Ada] cortex_m_svd-debug.ads [Ada] cortex_m_svd-scb.ads [Ada] cortex_m_svd-systick.ads [Ada] cortex_m_svd-dwt.ads [Ada] cortex_m_svd.ads [Ada] cortex_m_config.ads [Ada] cortex_m-dwt.adb [Ada] cortex_m.ads [Ada] cortex_m-hints.adb [Ada] cortex_m-debug.adb [Ada] memory_barriers.adb [Ada] semihosting-filesystem.adb [Ada] semihosting.adb [Ada] cortex_m-systick.adb [Asm_Cpp] crt0.S [Ada] stm32-device.adb [Ada] stm32_svd-tim.ads [Ada] stm32_svd-spi.ads [Ada] stm32_svd-can.ads [Ada] stm32_svd-pwr.ads [Ada] stm32_svd-rtc.ads [Ada] stm32_svd-flash.ads [Ada] stm32_svd-usb.ads stm32-device.adb:123:80: (style) this line is too long stm32-device.adb:229:41: (style) bad casing of "UInt2" declared at hal.ads:39 [Ada] stm32_svd-dac.ads [Ada] stm32_svd-dbgmcu.ads [Ada] stm32_svd-wwdg.ads [Ada] stm32_svd-scb.ads [Ada] stm32_svd-cec.ads [Ada] stm32_svd.ads [Ada] stm32_svd-syscfg.ads [Ada] stm32_svd-stk.ads [Ada] stm32_svd-exti.ads [Ada] stm32_svd-crc.ads [Ada] stm32_svd-tsc.ads [Ada] stm32_svd-i2c.ads [Ada] stm32_svd-nvic.ads [Ada] stm32_svd-dma.ads [Ada] stm32_svd-adc.ads [Ada] stm32_svd-iwdg.ads [Ada] stm32_svd-rcc.ads [Ada] stm32_svd-crs.ads [Ada] stm32_svd-gpio.ads [Ada] stm32_svd-usart.ads [Ada] stm32-exti.adb [Ada] stm32-gpio.adb [Ada] stm32.ads [Ada] stm32-rcc.adb [Ada] stm32-usarts.adb stm32-exti.adb:132:18: warning: condition can only be False if invalid values present [-gnatwc] stm32-exti.adb:132:18: warning: condition is always True [-gnatwc] stm32-exti.adb:132:18: warning: (see test at line 130) [-gnatwc] stm32-exti.adb:147:18: warning: condition can only be False if invalid values present [-gnatwc] stm32-exti.adb:147:18: warning: condition is always True [-gnatwc] stm32-exti.adb:147:18: warning: (see test at line 145) [-gnatwc] [Ada] stm32-timers.adb stm32-rcc.adb:40:16: (style) bad casing of "HSE" declared at stm32-rcc.ads:12 stm32-rcc.adb:41:21: (style) bad casing of "HSE_Freq" declared at stm32-rcc.ads:15 stm32-rcc.adb:42:16: (style) bad casing of "HSI" declared at stm32-rcc.ads:12 stm32-rcc.adb:43:21: (style) bad casing of "HSI_Freq" declared at stm32-rcc.ads:13 stm32-rcc.adb:44:16: (style) bad casing of "HSI48" declared at stm32-rcc.ads:12 stm32-rcc.adb:52:16: (style) bad casing of "HSI" declared at stm32-rcc.ads:12 stm32-rcc.adb:58:16: (style) bad casing of "HSI48" declared at stm32-rcc.ads:12 stm32-rcc.adb:63:16: (style) bad casing of "HSE" declared at stm32-rcc.ads:12 stm32-rcc.adb:69:07: warning: "Src_Clock_Freq" is not modified, could be declared constant [-gnatwk] stm32-rcc.adb:72:07: warning: variable "Real_Sysclk" is assigned but never read [-gnatwm] stm32-rcc.adb:75:07: warning: constant "Hpre_Bits" is not referenced [-gnatwu] stm32-rcc.adb:78:07: warning: constant "Ppre_Bits" is not referenced [-gnatwu] stm32-rcc.adb:95:10: (style) space required stm32-rcc.adb:117:22: (style) bad casing of "SW" declared at stm32_svd-rcc.ads:81 [Ada] stm32-usb_device.adb stm32-gpio.adb:280:80: (style) this line is too long stm32-gpio.adb:281:80: (style) this line is too long stm32-gpio.adb:299:80: (style) this line is too long stm32-gpio.adb:457:80: (style) this line is too long stm32-gpio.ads:40:04: (style) space required stm32-gpio.ads:191:80: (style) this line is too long [Ada] stm32-spi.adb stm32-usarts.ads:189:52: (style) "and then" required stm32-usarts.ads:196:51: (style) "and then" required [Ada] stm32-usb_serialtrace.adb stm32-usb_device.adb:5:80: (style) this line is too long stm32-usb_device.adb:61:01: (style) multiple blank lines stm32-usb_device.adb:86:80: (style) this line is too long stm32-usb_device.adb:106:26: warning: formal parameter "This" is not referenced [-gnatwf] stm32-usb_device.adb:129:10: (style) space required stm32-usb_device.adb:138:58: (style) space required stm32-usb_device.adb:156:10: (style) space required stm32-usb_device.adb:161:80: (style) this line is too long stm32-usb_device.adb:183:80: (style) this line is too long stm32-usb_device.adb:242:37: (style) space required stm32-usb_device.adb:271:03: (style) bad column stm32-usb_device.adb:298:21: warning: formal parameter "This" is not referenced [-gnatwf] stm32-usb_device.adb:330:36: (style) space required stm32-usb_device.adb:332:16: (style) space required stm32-usb_device.adb:352:38: (style) space not allowed stm32-usb_device.adb:360:38: (style) space not allowed stm32-usb_device.adb:368:13: warning: function "Setup_Data_Image" is not referenced [-gnatwu] stm32-usb_device.adb:368:32: (style) space required stm32-usb_device.adb:371:80: (style) this line is too long stm32-usb_device.adb:372:63: (style) space not allowed stm32-usb_device.adb:379:13: warning: function "Istr_Image" is not referenced [-gnatwu] stm32-usb_device.adb:379:29: (style) space required stm32-usb_device.adb:380:80: (style) this line is too long stm32-usb_device.adb:383:80: (style) this line is too long stm32-usb_device.adb:398:07: (style) space required stm32-usb_device.adb:399:07: (style) space required stm32-usb_device.adb:407:07: (style) space required stm32-usb_device.adb:409:13: warning: function "EPR_Image" is not referenced [-gnatwu] stm32-usb_device.adb:409:27: (style) space required stm32-usb_device.adb:435:80: (style) this line is too long stm32-usb_device.adb:436:15: (style) bad casing of "StartLog" declared at stm32-usb_serialtrace.ads:30 stm32-usb_device.adb:440:13: (style) space required stm32-usb_device.adb:453:80: (style) this line is too long stm32-usb_device.adb:460:80: (style) this line is too long stm32-usb_device.adb:470:18: (style) bad casing of "StartLog" declared at stm32-usb_serialtrace.ads:30 stm32-usb_device.adb:481:80: (style) this line is too long stm32-usb_device.adb:490:35: (style) bad casing of "Req_EP" declared at usb-hal-device.ads:52 stm32-usb_device.adb:490:41: (style) bad casing of "EP_Id" declared at line 467 stm32-usb_device.adb:494:22: (style) space required stm32-usb_device.adb:495:22: (style) space required stm32-usb_device.adb:496:41: (style) space required stm32-usb_device.adb:496:43: (style) bad casing of "EP_Id" declared at line 467 stm32-usb_device.adb:518:35: (style) space required stm32-usb_device.adb:518:37: (style) bad casing of "EP_Id" declared at line 467 stm32-usb_device.adb:532:07: warning: formal parameter "This" is not modified [-gnatwk] stm32-usb_device.adb:532:07: warning: mode could be "in" instead of "in out" [-gnatwk] stm32-usb_device.adb:538:13: (style) bad casing of "Ep" declared at line 81 stm32-usb_device.adb:540:80: (style) this line is too long stm32-usb_device.adb:542:80: (style) this line is too long stm32-usb_device.adb:548:10: (style) space required stm32-usb_device.adb:560:23: (style) space required stm32-usb_device.adb:562:10: (style) space required stm32-usb_device.adb:575:29: (style) space required stm32-usb_device.adb:577:13: (style) space required stm32-usb_device.adb:586:44: (style) space required stm32-usb_device.adb:616:10: (style) space required stm32-usb_device.adb:616:40: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:625:59: (style) space required stm32-usb_device.adb:626:07: warning: constant "EPM2" is not referenced [-gnatwu] stm32-usb_device.adb:640:11: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:643:01: (style) multiple blank lines stm32-usb_device.adb:646:13: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:648:22: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:649:54: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:649:80: (style) this line is too long stm32-usb_device.adb:650:22: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:653:22: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:654:53: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:656:22: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:658:43: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:659:53: (style) bad casing of "EP" declared at stm32-usb_device.ads:56 stm32-usb_device.adb:669:80: (style) this line is too long stm32-usb_device.adb:670:80: (style) this line is too long stm32-usb_device.adb:701:33: warning: formal parameter "This" is not referenced [-gnatwf] stm32-usb_device.adb:706:10: (style) space required stm32-usb_device.adb:706:40: (style) bad casing of "EP" declared at stm32-usb_device.ads:59 stm32-usb_device.adb:716:80: (style) this line is too long stm32-usb_device.adb:719:01: (style) multiple blank lines stm32-usb_device.adb:736:24: warning: formal parameter "This" is not referenced [-gnatwf] stm32-usb_device.adb:740:10: (style) space required stm32-usb_device.adb:740:40: (style) bad casing of "EP" declared at stm32-usb_device.ads:63 stm32-usb_device.adb:746:13: (style) bad casing of "EP" declared at stm32-usb_device.ads:63 stm32-usb_device.adb:767:27: warning: formal parameter "This" is not referenced [-gnatwf] stm32-usb_device.adb:785:65: (style) space required stm32-usb_device.adb:786:80: (style) this line is too long stm32-usb_device.adb:787:80: (style) this line is too long stm32-usb_device.adb:816:80: (style) this line is too long stm32-usb_device.ads:5:80: (style) this line is too long stm32-usb_device.ads:44:24: warning: lower bound test optimized away [enabled by default] stm32-usb_device.ads:44:24: warning: value is known to be in range [enabled by default] stm32-usb_device.ads:81:10: (style) space required stm32-usb_device.ads:83:10: (style) space required stm32-usb_device.ads:84:10: (style) space required stm32-usb_device.ads:85:10: (style) space required stm32-usb_device.ads:93:10: (style) space required stm32-usb_device.ads:116:80: (style) this line is too long stm32-usb_device.ads:117:80: (style) this line is too long stm32-usb_device.ads:120:80: (style) this line is too long [Ada] stm32-usb_btable.ads stm32-spi.adb:59:06: warning: array aggregate using () is an obsolescent syntax, use [] instead [-gnatwj] stm32-spi.adb:225:31: (style) "and then" required stm32-spi.adb:502:29: (style) "and then" required stm32-spi.adb:533:29: (style) "and then" required stm32-spi.adb:578:29: (style) "and then" required stm32-spi.adb:624:29: (style) "and then" required stm32-spi.adb:681:29: (style) "and then" required stm32-spi.adb:744:26: (style) "and then" required stm32-spi.adb:817:26: (style) "and then" required [Ada] stm32-syscfg.adb stm32-usb_btable.ads:5:80: (style) this line is too long stm32-usb_serialtrace.adb:5:80: (style) this line is too long stm32-usb_serialtrace.adb:90:15: (style) bad casing of "Put_Blocking" declared at line 72 stm32-usb_serialtrace.adb:92:15: (style) bad casing of "Put_Blocking" declared at line 72 stm32-usb_serialtrace.ads:5:80: (style) this line is too long stm32-timers.adb:154:41: (style) "or else" required stm32-timers.ads:76:52: (style) "and then" required stm32-timers.ads:133:37: (style) "and then" required stm32-timers.ads:135:52: (style) "and then" required stm32-timers.ads:136:53: (style) "and then" required stm32-timers.ads:137:50: (style) "and then" required stm32-timers.ads:185:75: (style) "and then" required stm32-timers.ads:196:71: (style) "and then" required stm32-timers.ads:203:75: (style) "and then" required stm32-timers.ads:210:75: (style) "and then" required stm32-timers.ads:216:75: (style) "and then" required stm32-timers.ads:234:72: (style) "and then" required stm32-timers.ads:259:73: (style) "and then" required stm32-timers.ads:264:73: (style) "and then" required stm32-timers.ads:287:63: (style) "and then" required stm32-timers.ads:296:63: (style) "and then" required stm32-timers.ads:305:63: (style) "and then" required stm32-timers.ads:386:42: (style) "and then" required stm32-timers.ads:387:59: (style) "and then" required stm32-timers.ads:423:39: (style) "and then" required stm32-timers.ads:429:48: (style) "and then" required stm32-timers.ads:435:48: (style) "and then" required stm32-timers.ads:441:48: (style) "and then" required stm32-timers.ads:447:48: (style) "and then" required stm32-timers.ads:490:48: (style) "and then" required stm32-timers.ads:492:47: (style) "and then" required stm32-timers.ads:501:48: (style) "and then" required stm32-timers.ads:503:47: (style) "and then" required stm32-timers.ads:504:64: (style) "and then" required stm32-timers.ads:510:37: (style) "and then" required stm32-timers.ads:548:36: (style) "and then" required stm32-timers.ads:550:52: (style) "and then" required stm32-timers.ads:561:36: (style) "and then" required stm32-timers.ads:725:42: (style) "or else" required stm32-timers.ads:742:42: (style) "or else" required stm32-timers.ads:743:42: (style) "or else" required stm32-timers.ads:744:42: (style) "or else" required stm32-timers.ads:745:43: (style) "or else" required stm32-timers.ads:746:43: (style) "or else" required stm32-timers.ads:747:43: (style) "or else" required stm32-timers.ads:748:43: (style) "or else" required stm32-timers.ads:749:42: (style) "or else" required stm32-timers.ads:852:21: warning: formal parameter "Channel" is not referenced [-gnatwu] stm32-timers.ads:881:21: warning: formal parameter "Channel" is not referenced [-gnatwu] Build Libraries [gprlib] hal.lexch [gprlib] Cortex_M.lexch [archive] libhal.a [index] libhal.a [gprlib] Atomic.lexch [gprlib] Bbqueue.lexch [archive] libCortex_M.a [archive] libAtomic.a [index] libCortex_M.a [index] libAtomic.a [gprlib] Usb_Embedded.lexch [archive] libBbqueue.a [index] libBbqueue.a [gprlib] stm32f0x2_hal.lexch [archive] libUsb_Embedded.a [index] libUsb_Embedded.a [archive] libstm32f0x2_hal.a [index] libstm32f0x2_hal.a Build finished successfully in 2.62 seconds. stm32f0x2_hal=0.1.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.5.0 (new) +i gnat 12.2.1 (new,installed,gnat_arm_elf,indirect) +i gnat_arm_elf 12.2.1 (new,installed) + hal 0.3.0 (new) + usb_embedded 0.3.0 (new) Found declared GPR file: stm32f0x2_hal.gpr