-function(to_hex HEX)
- # mind you, not really hexadecimal, but just a decimal in hex notation, huh?!
- set(XNUMBER 0x)
- foreach(DEC IN LISTS ARGN)
- while(1)
- string(LENGTH "${DEC}" LEN)
- if(LEN GREATER_EQUAL 3)
- break()
- endif()
- string(CONCAT DEC "0" "${DEC}")
- endwhile()
- if(DEC GREATER 999)
- message(WARNING "to_hex(HEX ${DEC}): decimal wider than 3 digits")
- endif()
- string(APPEND XNUMBER ${DEC})
- endforeach()
- set(${HEX} ${XNUMBER} PARENT_SCOPE)
-endfunction()
-