@@ -7,49 +7,43 @@ ENV DEBIAN_FRONTEND noninteractive
7
7
ENV DEBCONF_NONINTERACTIVE_SEEN true
8
8
RUN ln -sf /usr/share/zoneinfo/US/Pacific /etc/localtime
9
9
10
- # Set up build arguments
11
- ARG GITHUB_USERNAME
12
- ARG GITHUB_EMAIL
13
- ARG GITHUB_PRIVATE_KEY
14
-
15
10
RUN apt-get update
16
11
RUN apt install -y tzdata
17
12
RUN dpkg-reconfigure -f noninteractive tzdata
18
13
# We can run apache2 inside the container and start it as a service
19
14
RUN apt install -y apache2
20
15
# Maybe this can be trimmed. It was the standard suggested package list.
21
16
RUN apt install -y git gcc build-essential libgmp3-dev python-dev libxml2 libxml2-dev zlib1g-dev python-pip
22
-
23
17
RUN apt install -y libtool autoconf bison flex
24
- RUN apt-get update && \
25
- apt-get install -y git vim openssh-client && \
26
- rm -rf /var/lib/apt/lists/*
27
-
18
+ RUN apt install -y git vim openssh-client
19
+ RUN apt install -y libboost-math-dev
28
20
# Set up build arguments with default values
29
- ARG GITHUB_USERNAME=""
30
- ARG GITHUB_EMAIL=""
31
- ARG GITHUB_PRIVATE_KEY=""
21
+ ARG GITHUB_USERNAME
22
+ ARG GITHUB_EMAIL
23
+ ARG GITHUB_PRIVATE_KEY
24
+
25
+ WORKDIR /var/www
32
26
33
27
# Maybe checkout something better than HEAD?
34
28
RUN git clone https://github.com/occam-ra/occam.git
35
29
30
+ WORKDIR occam
31
+
36
32
# Configure git with the build arguments if provided
37
33
RUN if [ -n "$GITHUB_USERNAME" ] && [ -n "$GITHUB_EMAIL" ]; then \
38
34
git config --global user.name "$GITHUB_USERNAME" && \
39
- git config --global user.email "$GITHUB_EMAIL" ; \
40
- git remote set-url origin
[email protected] :occam-ra/occam.git;\
35
+ git config --global user.email "$GITHUB_EMAIL" && \
36
+ git remote set-url origin
[email protected] :occam-ra/occam.git;
\
41
37
fi
42
38
43
39
# Create the .ssh directory and copy the private key if provided
44
40
RUN if [ -n "$GITHUB_PRIVATE_KEY" ]; then \
45
41
mkdir -p /root/.ssh && \
46
- echo "$GITHUB_PRIVATE_KEY" > /root/.ssh/id_rsa && \
47
- chmod 600 /root/.ssh/id_rsa && \
48
- echo "Host github.com\n IdentityFile /root/.ssh/id_rsa " > /root/.ssh/config; \
42
+ echo "$GITHUB_PRIVATE_KEY" > /root/.ssh/id_github && \
43
+ chmod 600 /root/.ssh/id_github && \
44
+ echo "Host github.com\n IdentityFile /root/.ssh/id_github " > /root/.ssh/config; \
49
45
fi
50
46
51
-
52
- WORKDIR occam
53
47
# Install igraph
54
48
RUN pip install python-igraph==0.8.0
55
49
0 commit comments