Open Kurayuri opened 4 months ago
I have identified the cause of the issue. I apologize for any inconvenience caused.
The problem actually occurred when executing cmake ..
.
The tools/download_onnx.sh
script called by CMakeLists.txt
includes the command:
wget -q https://raw.githubusercontent.com/onnx/onnx/v$version/onnx/onnx.proto3 -O onnx.proto3
However, due to my network, the file tools/onnx-1.15.0/onnx.proto3
downloaded by wget
was empty. This led to an incorrect execution of the command:
../$protobufdir/installed/bin/protoc --cpp_out=. onnx.proto3
, resulting in the warning message:
[libprotobuf WARNING google/protobuf/compiler/parser.cc:649] No syntax specified for the proto file: onnx.proto3. Please use 'syntax = "proto2";' or 'syntax = "proto3";' to specify a syntax version. (Defaulted to proto2 syntax.)
and incorrect generation of files tools/onnx-1.15.0/onnx.proto3.pb.h
and tools/onnx-1.15.0/onnx.proto3.pb.cc
(since these two files were not empty, I did not notice the issue earlier).
I would like to request adding exception handling to script tools/download_onnx.sh
to handle cases, like wget
failing to download, in order to prevent the same issue from occurring again.
Hi @Kurayuri , good to know the issue is resolved. And that's a good point. Perhaps we can add a check to see if wget
's download is successful.
I try to follow the instructions to build Marabou. After excuting:
, it shows as following.
I have tried in different envs, but all failed in the same way. Env 1: Ubuntu 22.04 cmake 3.22.1 Env 2: Ubuntu 22.04 in conda cmake 3.22.1 Env 3: Ubuntu 20.04 in docker cmake 3.16.3
The log file during
cmake ../
. cmake.log The log file duringcmake --build ./
. cmake_build.logPlease ask if you need any more information. Thanks a lot!