Commit bbccc571 authored by Maxime Perrotin's avatar Maxime Perrotin

Add flag to use floats rather than double on STM32

parent f4aa9ca9
......@@ -352,6 +352,8 @@ def CalculateCFLAGS(node, withPOHIC=True):
result += " -mstructure-size-boundary=8 -mcpu=xscale -mfpu=vfp -mfloat-abi=soft -g "
if "GNAT_RUNTIME" in kind:
result += " -DNDEBUG " # Not supported by AdaCore's CertyFlie...
# STM32 CPUs do not not support double precision, make sure ASN1SCC uses floats
result += " -DFP_WORD_SIZE=4 "
for binary, listOfFunctions in g_distributionNodes.items():
key = re.sub(r'_obj\d+$', '', binary)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment