Add hardware_divider to pico_divider dependencies (#571)

Fixes build when pico_stdlib isn't included in the target libraries:
  pico-sdk/src/rp2_common/pico_divider/divider.S:8:10: fatal error: hardware/divider_helper.S: No such file or directory

Also fixes the same error in pico_double, though I'm not sure how/why:
  pico-sdk/src/rp2_common/pico_double/double_aeabi.S:9:10: fatal error: hardware/divider_helper.S: No such file or directory
This commit is contained in:
Brian Starkey 2021-10-04 19:09:43 +01:00 committed by GitHub
parent d7feac1495
commit 46d8597d35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -21,6 +21,7 @@ if (NOT TARGET pico_divider)
target_link_libraries(pico_divider_hardware_explicit INTERFACE target_link_libraries(pico_divider_hardware_explicit INTERFACE
pico_divider_headers pico_divider_headers
hardware_divider
hardware_regs hardware_regs
) )