Cannot compile

[jm62300]

Hi @cernoch @horenmar @mjerabek ,
I am trying to use your lib but I am not able to compile it.
I ran the following command line and that reports that:

$ cmake -H. -Bbuild
CMake Error at CMakeLists.txt:22 (add_subdirectory):
The source directory

/home/lagniez/Works/balls/3rdParty/pblib/cli/minisat

does not contain a CMakeLists.txt file.

-- Configuring incomplete, errors occurred!
See also "/home/lagniez/Works/balls/3rdParty/pblib/build/CMakeFiles/CMakeOutput.log".

Can you help me?
Actually it looks like it is waiting for a CMakeLists.txt in the repository cli (normal because add_subdirectory(cli/minisat EXCLUDE_FROM_ALL)).

My cmake version is 3.18.4, and I use g++-10.

Best regards,
JM

[horenmar]

git submodule update --init IIRC

[jm62300]

I tested your command line and that does not work, I still have the same issue.
Actually I tested:
$ git submodule update --init
$ cmake -H. -Bbuild
-- The CXX compiler identification is GNU 10.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
CMake Error at CMakeLists.txt:22 (add_subdirectory):
The source directory

/home/lagniez/Works/balls/3rdParty/pblib/cli/minisat

does not contain a CMakeLists.txt file.

-- Configuring incomplete, errors occurred!
See also "/home/lagniez/Works/balls/3rdParty/pblib/build/CMakeFiles/CMakeOutput.log".

[StillWaterJ]

I also encountered this problem. The cli/minisat directory is empty, then I checked the pblib on github, in which cli/minisat directory is linked to https://github.com/master-keying/minisat/tree/9ce29becfd33eebb373c56571cb90a30c21fccbc.
Then I downloaded the minisat from the url above, rename it and put it at cli/minisat.
When I run the command
cmake -H. -Bbuild
again, the error is gone.
Hope this helps you.