Makefile Error on mappings_test.cpp

[Liuluuuu]

I encountered this error when running make:

How should I fix it? I'm using Soufflé 2.3 on x86_64 GNU/Linux.

[VincenzoArceri]

I have the same problem (with Souffle 2.4.1).

[sifislag]

Can you share more info about your environment?
Tests are running fine on our end. You can see how we set up the docker image on which the tests run on here and identify if you are missing something.

[VincenzoArceri]

Hi @sifislag,
thank you for your reply! I'm currently installing Gigahorse manually in my Docker setup. Here's the portion of the Dockerfile:

RUN git clone https://github.com/souffle-lang/souffle
RUN cd souffle && \
    git checkout 2.4.1 && \
    cmake -S . -B build -DCMAKE_INSTALL_PREFIX=/usr/local && \
    cmake --build build --target install -j 4

RUN python3 -m pip install --upgrade pip
RUN python3 -m pip install pytest

RUN git clone https://github.com/nevillegrech/gigahorse-toolchain.git --recursive 
RUN cd gigahorse-toolchain && cd souffle-addon && make WORD_SIZE=$(souffle --version | sed -n 3p | cut -c12,13) 

and during the build I encounter the following error:

7.136 g++ -std=c++17 -o mappings_tests mappings_test.cpp
9.462 ./mappings_tests
9.464 Running 20 test cases...
9.464 mappings_test.cpp(210): error: in "test_to_string": check mapcol_to_string(combine_loose( combine_strict(singleton_mapping("b", "87", "eighty-seven"), combine_strict( singleton_mapping("x", "3", "three"), singleton_mapping("y", "8", "eight"))), combine_strict(combine_strict( singleton_mapping("a", "8", "eight"), singleton_mapping("f", "1", "one") ), singleton_mapping("x", "2", "two")))) == "[[f -> one][y -> eight][a -> eight][b -> eighty-seven]]" has failed [[[f -> one][y -> eight][b -> eighty-seven][a -> eight]] != [[f -> one][y -> eight][a -> eight][b -> eighty-seven]]]
9.464 
9.464 *** 1 failure is detected in the test module "Mappings Tests"
9.464 make: *** [Makefile:39: mappings_tests] Error 201
------
Dockerfile:105
--------------------
 103 |     
 104 |     RUN git clone https://github.com/nevillegrech/gigahorse-toolchain.git --recursive 
 105 | >>> RUN cd gigahorse-toolchain && cd souffle-addon && make WORD_SIZE=$(souffle --version | sed -n 3p | cut -c12,13) 
 106 |     
 107 |     
--------------------
ERROR: failed to solve: process "/bin/sh -c cd gigahorse-toolchain && cd souffle-addon && make WORD_SIZE=$(souffle --version | sed -n 3p | cut -c12,13)" did not complete successfully: exit code: 2

I am running it on MacOS (M4) but I just realized that there is a Docker build for Mac available here that I didn't tried yet and I think could fix my problem (sorry, I only just noticed it)

[sifislag]

Running it on apple silicon can be a bit tricky. I don't have such a device so I can't check how well it works. I will try to look into it one of these days together with a colleague. However, we only officially test and support linux based systems.