set(JSBSIM_SIMGEAR_MISC_HDR stdint.hxx)

install(FILES ${JSBSIM_SIMGEAR_MISC_HDR} DESTINATION include/JSBSim/simgear/misc)