Skip to content
This repository was archived by the owner on Mar 2, 2025. It is now read-only.

Commit 4c50035

Browse files
committed
Configuration: updated base image and complete setup
1 parent c489396 commit 4c50035

File tree

1 file changed

+22
-8
lines changed

1 file changed

+22
-8
lines changed

Dockerfile

Lines changed: 22 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -21,13 +21,25 @@
2121
# along with casm-lang.container.linux. If not, see <http://www.gnu.org/licenses/>.
2222
#
2323

24-
FROM oblique/archlinux-yay
24+
FROM archlinux:base-devel
2525

26-
RUN sudo pacman --noconfirm -Syyu \
27-
&& sudo pacman --noconfirm -Sy archlinux-keyring \
28-
&& sudo pacman --noconfirm -Su \
29-
&& sudo pacman-key --refresh-keys \
30-
&& sudo -u aur yay --noconfirm -S \
26+
ARG USER=aur
27+
RUN useradd \
28+
-r \
29+
-m \
30+
-d /$USER \
31+
-s /usr/bin/nologin \
32+
-u "999" \
33+
$USER \
34+
&& echo "$USER ALL=(ALL:ALL) NOPASSWD:ALL" > /etc/sudoers.d/$USER \
35+
&& pacman --noconfirm -Syu git sudo \
36+
&& git clone https://aur.archlinux.org/yay-bin /$USER/yay \
37+
&& chown -R $USER:$USER /$USER \
38+
&& cd /$USER/yay \
39+
&& sudo -u $USER makepkg --noconfirm -si \
40+
&& cd /$USER \
41+
&& rm -rf yay \
42+
&& sudo -u $USER yay --noconfirm -S \
3143
bash \
3244
git \
3345
make \
@@ -43,9 +55,11 @@ RUN sudo pacman --noconfirm -Syyu \
4355
gcc \
4456
clang \
4557
openmp \
46-
emscripten \
4758
z3 \
4859
gtest \
49-
hayai-git
60+
hayai-git \
61+
&& sudo pacman -Scc \
62+
&& rm -rf /var/cache/pacman/pkg/* \
63+
&& sudo -u $USER yay -Ps
5064

5165
CMD ["/bin/bash"]

0 commit comments

Comments
 (0)