error in "make external" step about cirkit HOT 4 OPEN

Hi,

something went wrong in installing the Z3 dependency. I am trying to reproduce the problem.

Thanks,
Mathias

from cirkit.

Hi,

I have completely rewritten how dependencies are handled in CirKit and RevKit. Can you try to re-clone the repository and see if installation works for you?

Best,
Mathias

from cirkit.

Hi Mathias,

I tried to re-clone and re-install revkit but I am getting the same error. When I recloned the github repo the files like abc, cudd, fmt, etc in lib folder were not present and I had to download them separately from their respective repositories. Would that have anything to do with the error? Thanks in advance.

-Nimisha

from cirkit.

Hi Nimisha,

you should clone with git clone --recursive ... to make sure the submodules are loaded. In an existing working directory you can also run git submodule update --init --recursive.

Best,
Mathias

from cirkit.