File tree Expand file tree Collapse file tree 4 files changed +54
-10
lines changed Expand file tree Collapse file tree 4 files changed +54
-10
lines changed Original file line number Diff line number Diff line change @@ -54,8 +54,12 @@ gh-test:
54
54
gh : gh-fmt gh-clippy gh-test
55
55
56
56
57
+ debian :
58
+ docker build -f scripts/ Dockerfile -t aoc scripts/
59
+ docker run --rm -ti -v $PWD:/ aoc -w / aoc aoc
60
+
57
61
sid :
58
- docker build -f scripts/ Dockerfile -t aoc-sid scripts/
62
+ docker build -f scripts/ Dockerfile-sid -t aoc-sid scripts/
59
63
docker run --rm -ti -v $PWD:/ aoc -w / aoc aoc-sid
60
64
61
65
fedora :
Original file line number Diff line number Diff line change 1
- FROM debian:sid
1
+ FROM debian
2
2
3
3
RUN apt-get update && \
4
4
apt-get upgrade -y && \
@@ -38,18 +38,17 @@ RUN apt-get install -y -qq lua5.4
38
38
# Ruby
39
39
RUN apt-get install -y -qq ruby
40
40
41
- # Java
42
- RUN apt-get install -y -qq default-jdk
43
-
44
41
# C#
45
42
RUN apt-get install -y -qq mono-mcs
46
43
47
44
# Swift
48
- RUN env DEBIAN_FRONTEND=noninteractive apt-get install -y -qq swiftlang
45
+ # RUN env DEBIAN_FRONTEND=noninteractive apt-get install -y -qq swiftlang
49
46
50
47
# JavaScript
51
48
RUN curl -fsSL https://bun.sh/install | bash
52
49
50
+ # Java
51
+ RUN apt-get install -y -qq default-jdk
53
52
54
53
# User environment
55
54
ARG HOST_U=1027
Original file line number Diff line number Diff line change @@ -6,10 +6,8 @@ RUN dnf upgrade -y && \
6
6
dnf install -y cmake gdb clang llvm z3-devel
7
7
8
8
# Python
9
- RUN dnf install -y python3-pip python3-numpy python3-tabulate python3-click python3-devel
10
- COPY requirements.txt /
11
- RUN python3 -mvenv /venv/python && \
12
- /venv/python/bin/pip install -r /requirements.txt
9
+ RUN dnf install -y python3-pip python3-devel python3-numpy python3-tabulate python3-click python3-curtsies python3-shapely python3-sympy python3-networkx python3-z3
10
+ RUN python3 -mvenv /venv/python --system-site-packages
13
11
14
12
# Rust
15
13
RUN dnf install -y cargo cargo-fmt cargo-clippy
Original file line number Diff line number Diff line change
1
+ FROM debian:sid
2
+
3
+ RUN apt-get update && \
4
+ apt-get upgrade -y && \
5
+ apt-get install -y vim curl wget sudo sqlite3 vim && \
6
+ apt-get install -y build-essential cmake gdb python3-full python3-numpy python3-tabulate python3-click python3-curtsies python3-shapely python3-sympy python3-networkx python3-z3 && \
7
+ apt-get install -y clang llvm && \
8
+ apt-get install -y z3
9
+
10
+ # Rust
11
+ RUN apt-get install -y cargo rust-all
12
+
13
+ # Golang
14
+ RUN apt-get install -y -qq golang
15
+
16
+ # Lua
17
+ RUN apt-get install -y -qq lua5.4
18
+
19
+ # Ruby
20
+ RUN apt-get install -y -qq ruby
21
+
22
+ # C#
23
+ RUN apt-get install -y -qq mono-mcs
24
+
25
+ # Swift
26
+ RUN env DEBIAN_FRONTEND=noninteractive apt-get install -y -qq swiftlang
27
+
28
+ # JavaScript
29
+ RUN apt-get install -y -qq nodejs
30
+
31
+ # Java
32
+ RUN apt-get install -y -qq default-jdk
33
+
34
+ # User environment
35
+ ARG HOST_U=1027
36
+ ARG HOST_G=100
37
+ ARG HOST_UN=user
38
+ RUN useradd --create-home --no-user-group -g $HOST_G -u $HOST_U $HOST_UN
39
+ RUN echo "$HOST_UN ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers
40
+ RUN echo 'export SHELL=/bin/bash' >> /etc/bash.bashrc
41
+ RUN echo 'alias ll="ls -l --color"' >> /etc/bash.bashrc
42
+
43
+ RUN echo '[ -f /venv/python/bin/activate ] && source /venv/python/bin/activate' >> /etc/bash.bashrc
You can’t perform that action at this time.
0 commit comments