Zach,
Since the tkds30xx driver you are using is IVI based, you will not be able to use it without the IVI Engine.
If you must build an executable that does not require the IVI Engine, then you will need to use a traditional LabVIEW driver or convert a VXIpnp driver into LabVIEW. Neither of those drivers would require the IVI Engine.
At this time the only TDS 3054 driver on NI's
IDNet website is the IVI-based tkds30xx driver.
You may be able to obtain a traditional LabVIEW driver from
Thanks,
--Bankim