ths-rwth/smtrat

Problem building on top of Carl

rpgoldman opened this issue · 4 comments

rpgoldman commented

I have tried making a docker image for smtrat, since there is a complicated dependency tail. I started by making a new Docker image for Carl (see this carl pull request ), for which I needed to fix the CoCoA install process.

I managed to get CoCoA installed successfully, but now when I try to build smtrat on top of the carl docker image, I get this error:

/carl/src/carl-arith/converter/CoCoAAdaptor.h:22:10: fatal error: CoCoA/BigInt.H: No such file or directory
   22 | #include <CoCoA/BigInt.H>
      |          ^~~~~~~~~~~~~~~~

I have checked, and indeed there is no BigInt.H anywhere in my docker image. I believe that the smtrat build process makes assumptions about what happens in carl's build process that may not be correct.

derjasper commented

CArL's Dockerfile is not up to date anymore and might be removed soon. Currently, we only support the installation process as described in the documentation.

rpgoldman commented

I was trying to make my own Dockerfile for Carl, just because it's easier to work starting from a clean Ubuntu Linux than my own junk-filled MacOS laptop and Homebrew!

I was trying to follow the build description for Carl in my own Dockerfile, but something is clearly wrong.

There are issues with CoCoALib, and Carl loads CoCoALib through its own cmake scripts, which makes things very complicated... Especially since Carl and SMT-RAT use cmake and CoCoALib uses configure instead.

modass commented

I am not sure, how recent your CArL version needs to be, but I have a Dockerimage that you could try, see https://hub.docker.com/r/stefanschupp/carl

rpgoldman commented

I am not sure, how recent your CArL version needs to be, but I have a Dockerimage that you could try, see hub.docker.com/r/stefanschupp/carl

I have tried this, but I get the following error:

CMake Warning at resources/resources.cmake:52 (find_package):
  Could not find a configuration file for package "carl" that is compatible
  with requested version "22.06".

  The following configuration files were considered but not accepted:

    /carl/build/carlConfig.cmake, version: 21.11

Call Stack (most recent call first):
  CMakeLists.txt:126 (include)

So I think perhaps the Carl version in your Docker image is not sufficiently up-to-date. Would you mind sharing your Dockerfile for that image?