Error during static Marabou build

[idan0610]

After using the following commands:

mkdir build
cd build
cmake .. -DBUILD_STATIC_MARABOU=ON
cmake -- build .

the following error is received:

/usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/11/crtbeginT.o: relocation R_X86_64_32 against hidden symbol `__TMC_END__' can not be used when making a shared object
/usr/bin/ld: failed to set dynamic section sizes: bad value
collect2: error: ld returned 1 exit status
gmake[2]: *** [CMakeFiles/MarabouCore.dir/build.make:104: ../maraboupy/MarabouCore.cpython-310-x86_64-linux-gnu.so] Error 1
gmake[1]: *** [CMakeFiles/Makefile2:654: CMakeFiles/MarabouCore.dir/all] Error 2

[phoenixbirdashes]

Same here after the commands :
mkdir build
cd build
cmake ../
cmake --build ./

the following error is received:

[ 99%] Built target Test_UnsatCertificateUtils

Test project /home/phoenix/Marabou/build

  Start  1: Test_AbsoluteValueConstraint

  Start  2: Test_BilinearConstraint

  Start  3: Test_BlandsRule

  Start  4: Test_BoundManager

1/76 Test #2: Test_BilinearConstraint ............ Passed 0.04 sec

  Start  5: Test_ConstraintMatrixAnalyzer

2/76 Test #3: Test_BlandsRule .................... Passed 0.04 sec

  Start  6: Test_CostFunctionManager

3/76 Test #5: Test_ConstraintMatrixAnalyzer ...... Passed 0.03 sec

  Start  7: Test_DantzigsRule

4/76 Test #6: Test_CostFunctionManager ........... Passed 0.06 sec

  Start  8: Test_DegradationChecker

5/76 Test #7: Test_DantzigsRule .................. Passed 0.04 sec

  Start  9: Test_DisjunctionConstraint

6/76 Test #1: Test_AbsoluteValueConstraint ....... Passed 0.16 sec

  Start 10: Test_DnCWorker

7/76 Test #10: Test_DnCWorker ..................... Passed 0.06 sec

  Start 11: Test_Engine

8/76 Test #8: Test_DegradationChecker ............ Passed 0.14 sec

  Start 12: Test_Equation

9/76 Test #12: Test_Equation ...................... Passed 0.07 sec

  Start 13: Test_InputQuery

10/76 Test #9: Test_DisjunctionConstraint ......... Passed 0.23 sec

  Start 14: Test_LargestIntervalDivider

11/76 Test #13: Test_InputQuery .................... Passed 0.15 sec

  Start 15: Test_LeakyReluConstraint

12/76 Test #15: Test_LeakyReluConstraint ........... Passed 0.08 sec

  Start 16: Test_MaxConstraint

Killed

gmake[2]: *** [CMakeFiles/build-tests.dir/build.make:70: build-tests] Error 137

gmake[1]: *** [CMakeFiles/Makefile2:813: CMakeFiles/build-tests.dir/all] Error 2

gmake: *** [Makefile:101: all] Error 2

[wu-haoze]

@phoenixbirdashes , I think this particular issue is on getting a static Marabou build, which i think requires some refactoring of the build system to account for some of the dependencies.