Open mmghannam opened 1 year ago
Including the tip/tpi.h header file in the build script might solve this.
tip/tpi.h
related to this issue
mmghannam
commented
1 year ago
Including the
tip/tpi.hheader file in the build script might solve this.