Added a option for using statically built opendds.#14

Merged

iguessthislldo merged 3 commits intoOpenDDS:masterfrom doug1234:StaticBuild

Oct 9, 2023

+6

Commits on Oct 3, 2023

Added a option for using statically build opendds.
Douglas Ayers
committed

Commits on Oct 9, 2023

Now using ace flag for the static build.
Douglas Ayers
committed
Removed unnecessary option completely.
Douglas Ayers
committed