Skip to content

Small changes to dockerfile #14

@benbowen

Description

@benbowen

In case this helps other folks, I made some tiny changes to the dockerfile to get it to work on my computer.

  1. version of ubuntu
  2. curl command and resulting pathnames to nauty

Here is what I've got

FROM ubuntu:22.04

RUN apt-get update && \
    apt-get -y install curl gcc make zlib1g-dev && \
    apt-get -y clean && \
    rm -rf \
      /var/lib/apt/lists/* \
      /usr/share/doc \
      /usr/share/doc-base \
      /usr/share/man \
      /usr/share/locale \
      /usr/share/zoneinfo
WORKDIR /root
RUN curl -o nauty2_8_9.tar.gz https://pallini.di.uniroma1.it/nauty2_8_9.tar.gz \
  && tar xzvf nauty2_8_9.tar.gz \
  && cd nauty2_8_9 \
  && ./configure && make
ENV NAUTY_HOME=/root/nauty2_8_9
COPY src/surge.c $NAUTY_HOME
COPY src/Makefile /root
WORKDIR $NAUTY_HOME
RUN ln -s /root/nauty2_8_9 /root/nauty
RUN make -f ../Makefile clean ; make -f ../Makefile surge

FROM ubuntu:22.04

RUN apt-get update && \
    apt-get -y install  curl time gnupg zlib1g && \
    apt-get -y clean && \
    rm -rf \
      /var/lib/apt/lists/* \
      /usr/share/doc \
      /usr/share/doc-base \
      /usr/share/man \
      /usr/share/locale \
      /usr/share/zoneinfo
RUN echo "deb [signed-by=/usr/share/keyrings/cloud.google.gpg] http://packages.cloud.google.com/apt cloud-sdk main" | tee -a /etc/apt/sources.list.d/google-cloud-sdk.list && curl https://packages.cloud.google.com/apt/doc/apt-key.gpg | apt-key --keyring /usr/share/keyrings/cloud.google.gpg  add - && apt-get update -y && apt-get install google-cloud-sdk -y

COPY --from=0 /root/nauty2_8_9/surge /usr/bin

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions