diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 7f64aac0e3dd029c15ac90770e8f951715aab87a..689b567e04e4ae68b40ebcdf67aebdcd38143ce8 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -21,3 +21,6 @@ RUN apt-get install -y python3-pip COPY doc/requirements.txt requirements.txt RUN pip3 install -r requirements.txt + +RUN apt-get install -y protobuf-compiler +RUN go install github.com/pseudomuto/protoc-gen-doc/cmd/protoc-gen-doc@v1.4.1 diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 0624aa669f746222c7e706d6b8e2442073800034..5701fd1ed679cbb18a20c1ac9938b4189d819a67 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -22,11 +22,11 @@ find_program(SPHINX_CMD sphinx-build) find_program(PROTOC_CMD protoc) find_program(PROTOC_GEN_DOC_PLUGIN protoc-gen-doc) if (NOT PROTOC_CMD) - message("Protoc compiler needs to be installed to generate the documentation") + message(FATAL "Protoc compiler needs to be installed to generate the documentation") elseif (NOT PROTOC_GEN_DOC_PLUGIN) - message("Proto-gen-doc plugin needs to be installed to generate the documentation") + message(FATAL "Proto-gen-doc plugin needs to be installed to generate the documentation") elseif (NOT SPHINX_CMD) - message("Sphinx needs to be installed to generate the documentation") + message(FATAL "Sphinx needs to be installed to generate the documentation") else () # Copy sources to build directory add_custom_target(doc-copy-sources