error in "make external" step

[nimishalimaye]

Hi,
I am trying to install revkit on RedHat linux 4.4.7.
I am using GCC/4.9.2 , boost/1.60 , git/2.93 , cmake version 3.6.1 and python/3.6.3.
When I run make external I get error saying:
ValueError: zero length field name in format.

I was able to successfully install on Ubuntu 16.04 before, but now I am working on college server. What could be going wrong? Thanks in advance.
P.S. I used the revkit version available currently on the github.

[msoeken]

Hi,

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

Thanks,
Mathias

[msoeken]

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

[nimishalimaye]

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

[msoeken]

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