lake build cvc5 SystemE mathlib LeanGeo failed

[pyh314]

I follow the instructions in readme.md. However I encountered the following errors below:

lake build cvc5 SystemE mathlib LeanGeo
✖ [2/6035] Building cvc5/ffi.o
trace: .> cc -c -o ././.lake/packages/cvc5/.lake/build/ffi/ffi.o ././.lake/packages/cvc5/ffi/ffi.cpp -std=c++17 -stdlib=libc++ -I /home/yhpeng/.elan/toolchains/leanprover--lean4---v4.15.0/include -I ././.lake/packages/cvc5/.lake/build/cvc5-Linux-x86_64-static/include -fPIC
info: stderr:
cc: error: unrecognized command line option ‘-stdlib=libc++’
error: external command 'cc' exited with code 1
⚠ [782/6035] Built Smt.Reconstruct.BitVec.Bitblast
warning: ././.lake/packages/smt/././Smt/Reconstruct/BitVec/Bitblast.lean:36:4: declaration uses 'sorry'
⚠ [5944/6035] Built SystemE.Tactic.EQuery
warning: ././././SystemE/Tactic/EQuery.lean:29:16: unused variable `r`
note: this linter can be disabled with `set_option linter.unusedVariables false`
Some required builds logged failures:
- cvc5/ffi.o
error: build failed

Is there anyone that can fix this issue? Thanks!

[Sike-Wang]

"export " does not actually change the link of cc. Use the following command to switch the link of cc to "/usr/bin/clang " (for Ubuntu OS):
sudo update-alternatives --config cc