diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-16 13:59:38 +0200 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-16 13:59:38 +0200 |
commit | 5dcfe1e551e966a84c4f5525632b9617f5588547 (patch) | |
tree | 94069c11de96db5d5c47322e8b42b8909d9bd15c /contrib/ci | |
parent | 524d1b43e081064d2fbcedd7b68904c1c9e7ec79 (diff) | |
download | gnunet-5dcfe1e551e966a84c4f5525632b9617f5588547.tar.gz gnunet-5dcfe1e551e966a84c4f5525632b9617f5588547.zip |
contrib: remove old/duplicate dockerfiles
Diffstat (limited to 'contrib/ci')
-rw-r--r-- | contrib/ci/docker/Dockerfile | 32 | ||||
-rw-r--r-- | contrib/ci/docker/docker-entrypoint.sh | 3 |
2 files changed, 0 insertions, 35 deletions
diff --git a/contrib/ci/docker/Dockerfile b/contrib/ci/docker/Dockerfile deleted file mode 100644 index b9f019c43..000000000 --- a/contrib/ci/docker/Dockerfile +++ /dev/null | |||
@@ -1,32 +0,0 @@ | |||
1 | FROM ubuntu:18.04 | ||
2 | |||
3 | # Install the required build tools | ||
4 | RUN apt update && apt install -y apt git autopoint automake texinfo gettext autoconf libtool libidn11-dev libunistring-dev gnutls-dev libgcrypt20 libgcrypt20-dev libjansson-dev libsqlite3-dev wget flex bison libglib2.0-dev libgmp3-dev libmicrohttpd-dev libglpk-dev libextractor-dev | ||
5 | |||
6 | # Install gnurl from source at version gnurl-7.54.0 | ||
7 | WORKDIR /usr/src | ||
8 | RUN git clone https://git.taler.net/gnurl.git --branch gnurl-7.57.0 | ||
9 | RUN cd /usr/src/gnurl && autoreconf -i && ./configure --prefix=/usr --disable-ntlm-wb && make install | ||
10 | |||
11 | # Install libpbc | ||
12 | WORKDIR /usr/src | ||
13 | RUN wget https://crypto.stanford.edu/pbc/files/pbc-0.5.14.tar.gz && tar xvzpf pbc-0.5.14.tar.gz && cd /usr/src/pbc-0.5.14 && ./configure --prefix=/usr && make install | ||
14 | |||
15 | # Install libbswabe | ||
16 | WORKDIR /usr/src | ||
17 | RUN git clone https://github.com/schanzen/libgabe.git && cd /usr/src/libgabe && ./configure --prefix=/usr && make install | ||
18 | |||
19 | WORKDIR /usr/src | ||
20 | RUN git clone git://gnunet.org/gnunet.git | ||
21 | RUN cd /usr/src/gnunet && ./bootstrap && ./configure --enable-experimental --prefix=/usr && make && make install | ||
22 | |||
23 | RUN addgroup gnunetdns && addgroup gnunet && adduser --system --home /var/lib/gnunet gnunet | ||
24 | RUN chown gnunet:gnunet /var/lib/gnunet | ||
25 | RUN echo '[arm]\nSTART_SYSTEM_SERVICES = YES\nSTART_USER_SERVICES = NO\n' > /etc/gnunet.conf | ||
26 | |||
27 | ADD docker-entrypoint.sh . | ||
28 | |||
29 | RUN rm -rf /usr/src/* | ||
30 | #RUN apt remove gcc | ||
31 | |||
32 | CMD ["sh", "docker-entrypoint.sh"] | ||
diff --git a/contrib/ci/docker/docker-entrypoint.sh b/contrib/ci/docker/docker-entrypoint.sh deleted file mode 100644 index db916cce7..000000000 --- a/contrib/ci/docker/docker-entrypoint.sh +++ /dev/null | |||
@@ -1,3 +0,0 @@ | |||
1 | #!/bin/bash | ||
2 | gnunet-arm -s > $HOME/gnunet.log 2>&1 | ||
3 | exec bash | ||