@@ -15,9 +15,6 @@ FROM ubuntu:22.04
1515# variable prevents this interaction.
1616ARG DEBIAN_FRONTEND=noninteractive
1717
18- # Copy install script
19- COPY docker/dev/install_odb.sh /
20-
2118RUN set -x && apt-get update -qq \
2219 && apt-get install -qqy --no-install-recommends \
2320 llvm-11 \
@@ -43,9 +40,6 @@ RUN set -x && apt-get update -qq \
4340 && rm -rf /var/lib/apt/lists/ \
4441 && set +x
4542
46- # Build ODB from source
47- RUN sh /install_odb.sh && rm /install_odb.sh
48-
4943# Install NodeJS from NodeSource.
5044RUN mkdir -p /etc/apt/keyrings && \
5145 curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg && \
@@ -55,22 +49,24 @@ RUN mkdir -p /etc/apt/keyrings && \
5549 apt-get clean && \
5650 rm -rf /var/lib/apt/lists/
5751
52+ # Copy ODB install directory.
53+ COPY --from=runtime /opt/odb /opt/odb
54+
5855ARG CC_GID=960
5956ARG CC_UID=960
6057
6158ENV CC_GID ${CC_GID}
6259ENV CC_UID ${CC_UID}
6360
64-
6561# Create user and group for CodeCompass.
6662RUN groupadd --system codecompass --gid ${CC_GID} && \
6763 useradd --system --no-log-init --no-create-home --uid ${CC_UID} --gid codecompass codecompass
6864
69- # Copy CodeCompass installed directory. (Change permission of the CodeCompass package.)
65+ # Copy CodeCompass install directory. (Change permission of the CodeCompass package.)
7066# TODO: only the webserver's binaries should be included in this image.
7167COPY --from=runtime --chown=codecompass:codecompass /codecompass /codecompass
7268
73- ENV PATH="/codecompass/bin:$PATH"
69+ ENV PATH="/codecompass/bin:/opt/odb/bin: $PATH"
7470
7571COPY --chown=codecompass:codecompass docker/web/entrypoint.sh /usr/local/bin/entrypoint.sh
7672RUN chmod a+x /usr/local/bin/entrypoint.sh
0 commit comments