make error

[MicroEnder]

I have followed the steps provided earlier to install Tchecker, successfully built the dynamic library libtchecker.so, and added it to the LD_LIBRARY_PATH. However, during the "make" step in tcltl, it gives me the following error:

libtool: compile: g++ -DHAVE_CONFIG_H -I. -I./src -g -O2 -fvisibility=hidden -fvisibility-inlines-hidden -DTCLTL_BUILD -std=c++17 -MT src/tcltl.lo -MD -MP -MF src/.deps/tcltl.Tpo -c src/tcltl.cc -fPIC -DPIC -o src/.libs/tcltl.o
src/tcltl.cc:30:10: fatal error: tchecker/zg/zg_ta.hh: No such file or directory
30 | #include <tchecker/zg/zg_ta.hh>
| ^~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

Could you please advise on how to resolve this issue?