Add --disable-dtb option to suppress writing the DTB to memory
[riscv-isa-sim.git] / softfloat / softfloat.mk.in
index 77c13572345252a68d100aa1cf32b44029c82bfd..ff7637b13e512d2fbea29cff1504aa8c58c99f09 100644 (file)
@@ -2,6 +2,7 @@ softfloat_subproject_deps =
 
 softfloat_hdrs = \
   internals.h \
+  platform.h \
   primitives.h \
   primitiveTypes.h \
   softfloat.h \