Godel Script 无法编译

[11D-Beyonder]

系统环境

FROM ubuntu:22.04
RUN echo "deb http://mirrors.tencent.com/ubuntu/ jammy main restricted universe multiverse\n\
    deb http://mirrors.tencent.com/ubuntu/ jammy-updates main restricted universe multiverse\n\
    deb http://mirrors.tencent.com/ubuntu/ jammy-backports main restricted universe multiverse\n\
    deb http://security.ubuntu.com/ubuntu/ jammy-security main restricted universe multiverse" > /etc/apt/sources.list

RUN apt update && apt upgrade -y && apt install -y python3-pip cmake wget llvm-13 clang-13 clangd-13 clang-format-13 libclang-13-dev libsqlite3-dev sqlite3 zlib1g-dev

RUN update-alternatives --install /usr/bin/llvm-config llvm-config /usr/bin/llvm-config-13 100 \ 
    && update-alternatives --install /usr/bin/clang clang /usr/bin/clang-13 100 \
    && update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-13 100 \
    && update-alternatives --install /usr/bin/clangd clangd /usr/bin/clangd-13 100 \
    && update-alternatives --install /usr/bin/clang-format clang-format /usr/bin/clang-format-13 100

编译命令

/usr/bin/cmake -DCMAKE_BUILD_TYPE:STRING=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS:BOOL=TRUE -DCMAKE_C_COMPILER:FILEPATH=/usr/bin/clang -DCMAKE_CXX_COMPILER:FILEPATH=/usr/bin/clang++ --no-warn-unused-cli -S/workspaces/CodeFuse-Query/godel-script -B/workspaces/CodeFuse-Query/build -G "Unix Makefiles"

报错

[cmake] CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
[cmake]   Command "/workspaces/CodeFuse-Query/build/install/bin/flex --version"
[cmake]   failed with output:
[cmake] 
[cmake]   
[cmake] 
[cmake] Call Stack (most recent call first):
[cmake]   godel-backend/souffle/CMakeLists.txt:221 (find_package)
[cmake] 
[cmake] 
[cmake] CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
[cmake]   Command "/workspaces/CodeFuse-Query/build/install/bin/bison --version"
[cmake]   failed with output:
[cmake] 
[cmake] Call Stack (most recent call first):
[cmake]   godel-backend/souffle/CMakeLists.txt:222 (find_package)
[cmake] 
[cmake] 
[cmake] CMake Error at /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:230 (message):
[cmake]   Could NOT find Threads (missing: Threads_FOUND)
[cmake] Call Stack (most recent call first):
[cmake]   /usr/share/cmake-3.22/Modules/FindPackageHandleStandardArgs.cmake:594 (_FPHSA_FAILURE_MESSAGE)
[cmake]   /usr/share/cmake-3.22/Modules/FindThreads.cmake:238 (FIND_PACKAGE_HANDLE_STANDARD_ARGS)
[cmake]   godel-backend/souffle/CMakeLists.txt:263 (find_package)

[ValKmjolnir]

godel-backend 的 souffle 你用 0001-init-self-used-souffle-from-public-souffle.patch 这个diff 恢复过了没，恢复方法在文档 Apply Patch On Soufflé Submodule

[11D-Beyonder]

我的命令行，cwd 为 godel-script 根目录。

cd godel-backend
git clone https://github.com/souffle-lang/souffle.git
cd souffle
git checkout 99399f3509975e2f2c57532186408418614df641 
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../../
mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release

报错

make: *** No rule to make target 'install'.  Stop.
-- Found Git: /usr/local/bin/git (found version "2.47.1") 
-- Building souffle version 2.4.1-48-g41143f713
-- Build Type: Release
CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
  Command "/workspaces/godel-script/build/install/bin/flex --version" failed
  with output:

  

Call Stack (most recent call first):
  godel-backend/souffle/CMakeLists.txt:208 (find_package)


-- Found FLEX: /workspaces/godel-script/build/install/bin/flex  
CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
  Command "/workspaces/godel-script/build/install/bin/bison --version" failed
  with output:

Call Stack (most recent call first):
  godel-backend/souffle/CMakeLists.txt:209 (find_package)

[ValKmjolnir]

我的命令行，cwd 为 godel-script 根目录。

cd godel-backend
git clone https://github.com/souffle-lang/souffle.git
cd souffle
git checkout 99399f3509975e2f2c57532186408418614df641
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../../
mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release
报错

make: *** No rule to make target 'install'. Stop.
-- Found Git: /usr/local/bin/git (found version "2.47.1")
-- Building souffle version 2.4.1-48-g41143f713
-- Build Type: Release
CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
Command "/workspaces/godel-script/build/install/bin/flex --version" failed
with output:

Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:208 (find_package)

-- Found FLEX: /workspaces/godel-script/build/install/bin/flex
CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
Command "/workspaces/godel-script/build/install/bin/bison --version" failed
with output:

Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:209 (find_package)

souffle 在这个项目是 submodule，直接 clone 不会产生问题么

[ValKmjolnir]

我的命令行，cwd 为 godel-script 根目录。

cd godel-backend
git clone https://github.com/souffle-lang/souffle.git
cd souffle
git checkout 99399f3509975e2f2c57532186408418614df641
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../../
mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release
报错

make: *** No rule to make target 'install'. Stop.
-- Found Git: /usr/local/bin/git (found version "2.47.1")
-- Building souffle version 2.4.1-48-g41143f713
-- Build Type: Release
CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
Command "/workspaces/godel-script/build/install/bin/flex --version" failed
with output:

Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:208 (find_package)

-- Found FLEX: /workspaces/godel-script/build/install/bin/flex
CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
Command "/workspaces/godel-script/build/install/bin/bison --version" failed
with output:

Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:209 (find_package)

另外检查一下你本地的编译器是否能正常编译链接带 pthread 的程序，这个Could NOT find Threads (missing: Threads_FOUND)没有在我的 ubuntu 22.04LTS WSL 上出现过

[11D-Beyonder]

我的命令行，cwd 为 godel-script 根目录。
cd godel-backend
git clone https://github.com/souffle-lang/souffle.git
cd souffle
git checkout 99399f3509975e2f2c57532186408418614df641
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../../
mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE=Release
报错
make: *** No rule to make target 'install'. Stop.
-- Found Git: /usr/local/bin/git (found version "2.47.1")
-- Building souffle version 2.4.1-48-g41143f713
-- Build Type: Release
CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
Command "/workspaces/godel-script/build/install/bin/flex --version" failed
with output:
Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:208 (find_package)
-- Found FLEX: /workspaces/godel-script/build/install/bin/flex
CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
Command "/workspaces/godel-script/build/install/bin/bison --version" failed
with output:
Call Stack (most recent call first):
godel-backend/souffle/CMakeLists.txt:209 (find_package)

souffle 在这个项目是 submodule，直接 clone 不会产生问题么

clone CodeFuse-Query 仓库后执行 git submodule update --init --recursive 再接着后续操作也是一样的结果。

[11D-Beyonder]

另外检查一下你本地的编译器是否能正常编译链接带 pthread 的程序，这个Could NOT find Threads (missing: Threads_FOUND)没有在我的 ubuntu 22.04LTS WSL 上出现过

好的，我先检查一下。

[11D-Beyonder]

另外检查一下你本地的编译器是否能正常编译链接带 pthread 的程序，这个Could NOT find Threads (missing: Threads_FOUND)没有在我的 ubuntu 22.04LTS WSL 上出现过

如果用 gcc 编译的话不会有 Could NOT find Threads (missing: Threads_FOUND)

报错如下

[cmake] configure: error: could not find m4 that supports -P
[cmake] make: *** No rule to make target 'install'.  Stop.
[cmake] checking for m4 that supports -P... -- Building souffle version 2.4.1-48-g41143f713
[cmake] -- Build Type: Debug
[cmake] CMake Error at /usr/share/cmake-3.22/Modules/FindFLEX.cmake:134 (message):
[cmake]   Command "/workspaces/godel-script/build/install/bin/flex --version" failed
[cmake]   with output:
[cmake] 
[cmake]   
[cmake] 
[cmake] Call Stack (most recent call first):
[cmake]   godel-backend/souffle/CMakeLists.txt:208 (find_package)
[cmake] 
[cmake] 
[cmake] CMake Error at /usr/share/cmake-3.22/Modules/FindBISON.cmake:113 (message):
[cmake]   Command "/workspaces/godel-script/build/install/bin/bison --version" failed
[cmake]   with output:
[cmake] 
[cmake] Call Stack (most recent call first):
[cmake]   godel-backend/souffle/CMakeLists.txt:209 (find_package)

[ValKmjolnir]

configure: error: could not find m4 that supports -P

你本地环境没有 m4

[11D-Beyonder]

你本地环境没有 m4

感谢，使用 GCC 编译成功。
不知道为什么 Clang 还是会报关于 Thread 的错误。添加 set(CMAKE_THREAD_LIBS_INIT "-lpthread") 后可正常执行 cmake 生成，但是 make 会找不到头文件。

[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/profile/CellInterface.h:11:10: fatal error: 'chrono' file not found
[build] #include <chrono>
[build]          ^~~~~~~~
[build] [  1%] Linking CXX static library libcompiled.a
[build] [  1%] Built target compiled
[build] 1 error generated.
[build] gmake[2]: *** [godel-backend/souffle/src/CMakeFiles/souffleprof.dir/build.make:76: godel-backend/souffle/src/CMakeFiles/souffleprof.dir/souffle_prof.cpp.o] Error 1
[build] gmake[1]: *** [CMakeFiles/Makefile2:1059: godel-backend/souffle/src/CMakeFiles/souffleprof.dir/all] Error 2
[build] gmake[1]: *** Waiting for unfinished jobs....
[build] [  2%] Linking CXX shared library libsouffle_ext.so
[build] [  2%] Built target souffle_ext
[build] [  9%] Building CXX object godel-backend/souffle/src/CMakeFiles/libsouffle.dir/ast/Component.cpp.o
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/Global.cpp:17:
[build] /workspaces/godel-script/godel-backend/souffle/src/Global.h:19:10: fatal error: 'map' file not found
[build] #include <map>
[build]          ^~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/FunctorOps.cpp:2:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/FunctorOps.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/TypeAttribute.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/MiscUtil.h:20:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Iteration.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Types.h:19:10: fatal error: 'iterator' file not found
[build] #include <iterator>
[build]          ^~~~~~~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/AliasType.cpp:9:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/AliasType.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/ast/QualifiedName.h:19:10: fatal error: 'iosfwd' file not found
[build] #include <iosfwd>
[build]          ^~~~~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/Aggregator.cpp:9:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/Aggregator.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/AggregateOp.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/TypeAttribute.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/MiscUtil.h:20:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Iteration.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Types.h:19:10: fatal error: 'iterator' file not found

[ValKmjolnir]

你本地环境没有 m4

感谢，使用 GCC 编译成功。 不知道为什么 Clang 还是会报关于 Thread 的错误。添加 set(CMAKE_THREAD_LIBS_INIT "-lpthread") 后可正常执行 cmake 生成，但是 make 会找不到头文件。

[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/profile/CellInterface.h:11:10: fatal error: 'chrono' file not found
[build] #include
[build] ^~~~~~~~
[build] [ 1%] Linking CXX static library libcompiled.a
[build] [ 1%] Built target compiled
[build] 1 error generated.
[build] gmake[2]: *** [godel-backend/souffle/src/CMakeFiles/souffleprof.dir/build.make:76: godel-backend/souffle/src/CMakeFiles/souffleprof.dir/souffle_prof.cpp.o] Error 1
[build] gmake[1]: *** [CMakeFiles/Makefile2:1059: godel-backend/souffle/src/CMakeFiles/souffleprof.dir/all] Error 2
[build] gmake[1]: *** Waiting for unfinished jobs....
[build] [ 2%] Linking CXX shared library libsouffle_ext.so
[build] [ 2%] Built target souffle_ext
[build] [ 9%] Building CXX object godel-backend/souffle/src/CMakeFiles/libsouffle.dir/ast/Component.cpp.o
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/Global.cpp:17:
[build] /workspaces/godel-script/godel-backend/souffle/src/Global.h:19:10: fatal error: 'map' file not found
[build] #include
[build] ^~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/FunctorOps.cpp:2:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/FunctorOps.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/TypeAttribute.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/MiscUtil.h:20:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Iteration.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Types.h:19:10: fatal error: 'iterator' file not found
[build] #include
[build] ^~~~~~~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/AliasType.cpp:9:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/AliasType.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/ast/QualifiedName.h:19:10: fatal error: 'iosfwd' file not found
[build] #include
[build] ^~~~~~~~
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/Aggregator.cpp:9:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/ast/Aggregator.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/AggregateOp.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/TypeAttribute.h:19:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/MiscUtil.h:20:
[build] In file included from /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Iteration.h:19:
[build] /workspaces/godel-script/godel-backend/souffle/src/include/souffle/utility/Types.h:19:10: fatal error: 'iterator' file not found

clang 的 pthread 和标准库是单独维护的，相关的头文件需要通过下载 llvm-[记不得什么名字了]-dev 这个包来拿，具体的可以自己搜一下

[11D-Beyonder]

clang 的 pthread 和标准库是单独维护的，相关的头文件需要通过下载 llvm-[记不得什么名字了]-dev 这个包来拿，具体的可以自己搜一下

感谢，已解决。
如果可以的话我想完善下 compile 部分的文档。

[ValKmjolnir]

clang 的 pthread 和标准库是单独维护的，相关的头文件需要通过下载 llvm-[记不得什么名字了]-dev 这个包来拿，具体的可以自己搜一下

感谢，已解决。 如果可以的话我想完善下 compile 部分的文档。

欢迎贡献

[zhouang777]

感谢贡献