Do you use TI chipsets for your project? The author implemented the W5500 library which is based on the W5500 C++ Arduino library (https://github.com/Wiznet/WIZ_Ethernet_Library) on TI CC1310 platform.
He uses a “Code Composer Studio 7.2.0” tool for compiling. (http://www.ti.com/tool/CCSTUDIO).
For the full source code, please visit the following GitHub repo.