Error in make

[S-Dutta1]

I get the following error on running make cirkit.
@msoeken Kindly help

[msoeken]

You need to install the required packages that are listed in the README.md file. As the error message says, you are not having a C++ compiler installed on your system.

[S-Dutta1]

This is my g++ version. But I now get this error on running 'make cirkit':

[S-Dutta1]

I had installed all the mentioned packages in the readme.

[msoeken]

The minimum version for the Boost library is 1.56.0, according to the log you have Boost 1.54.0 installed.

[S-Dutta1]

I installed boost 1.56.0 but still on running cmake, boost version is shown as 1.54.0. Is there a way to specify boost version while running cmake or make. or to change the default boost path?

[msoeken]

Did you empty the build directory before rebuilding? Did you install boost in a directory where it can be found. Otherwise, you can set the BOOST_ROOT variable to point to that directory. Please check the boost documentation for further details.

[S-Dutta1]

I had not emptied build directory earlier. However, now I get this error...

[msoeken]

I have updated the code to prevent this error. Can you try again after updating your repository?

[S-Dutta1]

I am able to install it now. Thanks a lot for the help.

[S-Dutta1]

I did a git pull today but after that cmake .., make external and make cirkit are running fine but ./build/programs/cirkit is not working.

However I also cloned the project into a new folder but now I get this error...
Can you kindly look into it.

[S-Dutta1]

I also have another doubt, if I have a circuit input in aig format which say has a adder as a part of it, is there a way by which I can identify the adder block through Cirkit?

[msoeken]

For the above error (first screenshot) please check https://github.com/msoeken/cirkit#troubleshooting and try set the LD_LIBRARY_PATH to the lib directory in CirKit. For the error in the second screenshot could you please send the contents of the minisat-build-*.log file that is mentioned in the error. It is sufficient to send the contents of the file, a screenshot is not necessary.

[msoeken]

For your question, if the adder is connected through the primary inputs and primary outputs to the circuit then you can find it with the spiec command.

[S-Dutta1]

These are contents of minisat-build-err.log file :

Makefile:4: /home/srijit/Desktop/new: No such file or directory
Makefile:4: cir/cirkit/build/ext/minisat-prefix/src/minisat/mtl/template.mk: No such file or directory
make[4]: *** No rule to make target `cir/cirkit/build/ext/minisat-prefix/src/minisat/mtl/template.mk'. Stop.

There is another file minisat-build-out.log but it is empty.

[msoeken]

Have you cloned or copy the project into a new folder? It seems that some paths are outdated. There shouldn't be a problem with the minisat dependency. The other problem with the libqdpll file is known and can be fixed with the other answer.

[S-Dutta1]

I think the error in second screenshot was due to the 'space' in the folder name where I cloned Cirkit.

However for the first error, I executed the following commands:
export CIRKIT_HOME=/home/srijit/Desktop/cirkit
export LD_LIBRARY_PATH=$CIRKIT_HOME/ext/lib:$LD_LIBRARY_PATH

I have Cirkit in a folder 'cirkit' on Desktop. However, I get same problem with the libqdpll file.

[S-Dutta1]

I renamed the file libqdpll.so.1.0 to libqdpll.so.1 in \ext\lib and Cirkit is working now.
Thanks a lot for the help.

Could you kindly suggest any document where I can find more about the 'spiec' command.

[msoeken]

Thanks, I just committed a fix for that.

[msoeken]

I just saw that the spiec command is not in the public sources. I'll try to merge it there next month. It's the implementation to the paper https://msoeken.github.io/publications.html#c48

[S-Dutta1]

Sir, could you kindly add 'spiec' command to the public sources.

[S-Dutta1]

Sir, could you kindly add 'spiec' command to the public sources.

[msoeken]

While merging I encountered some bugs that I want to resolve before putting public.

[S-Dutta1]

Hello,

While make revkit step, I am getting the following errors :
Is this a problem of boost installation ?
Could you kindly specify the steps to overcome the problem.

[msoeken]

I know about this bug. It has been fixed in the develop branch, but I haven't merged it yet back to master. If you are interested in only using RevKit, you can also install it in ubuntu with apt-get install cirkit after adding my PPA.

[S-Dutta1]

Thank You.