Is it possible to run PACTight on Linux system?

[baotch20]

Hi,
I'm very interested in this program and can get access to an Apple M1 machine. However, I can only get access to the Ubuntu system on that machine. I noticed that in CMakeLists of PACTight, you seemed to add support for other systems other than MACOS. So I tried to build PACTight on Ubuntu. I tried to build PACTight with "make vanilla". The building process was successful, but when I tried to compiler the example with the clang, I discovered that the options for PACTight won't work. Because of the experience, I wondered that is it possible to run PACTight on Linux system? If you have already implemented PACTight on Linux system, could you please give me some advice on how to do so? Thanks!