ERROR: could not execute external process 'cc'
Seasawher opened this issue · 2 comments
Seasawher commented
I was working with gitpod in the following repository.
https://github.com/Seasawher/lean-math-workshop/tree/feature/doc-gen4
lake -Kenv=dev build Tutorial:docs fails again. Error message is here:
error: > cc -c -o ./lake-packages/CMark/build/cmark/cmark_ctype.o ./lake-packages/CMark/cmark/cmark_ctype.c -I ./lake-packages/CMark/cmark -fPIC
error: stderr:
could not execute external process 'cc'
error: > cc -c -o ./lake-packages/CMark/build/cmark/houdini_html_u.o ./lake-packages/CMark/cmark/houdini_html_u.c -I ./lake-packages/CMark/cmark -fPIC
error: external command `cc` exited with code 255
error: stderr:
could not execute external process 'cc'
error: external command `cc` exited with code 255
[10/46] Compiling inlinesc
[10/46] Compiling referencesc
error: > cc -c -o ./lake-packages/CMark/build/cmark/cmark.o ./lake-packages/CMark/cmark/cmark.c -I ./lake-packages/CMark/cmark -fPIC
error: stderr:
could not execute external process 'cc'
error: external command `cc` exited with code 255
(omitted...)hargoniX commented
You are missing a C compiler to compile the C bindings for CMark here. You probably want to install gcc or clang to fix this.
Seasawher commented
Thank you! I did sucessfully build HTML!