Skip to content

Commit

Permalink
Move to Ubuntu 24.10 (Oracular Oriole)
Browse files Browse the repository at this point in the history 
Dafny is removed because the package is removed.
Maxima is also removed because it outputs a log message when loading a
file by `--init-mac`.

Instead, Execline and Squirrel are added.
  • Loading branch information
@mame
mame committed Oct 25, 2024
1 parent f546f25 commit 888934b
Show file tree
Hide file tree
Showing 12 changed files with 369 additions and 382 deletions.
12 changes: 3 additions & 9 deletions .github/workflows/main.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@ jobs:
sudo docker cp qr:/usr/local/share/quine-relay/QR.sed spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.spl spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.sl spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.nut spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.sml spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.sq spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.ss spoiler/
Expand Down Expand Up @@ -74,12 +75,12 @@ jobs:
sudo docker cp qr:/usr/local/share/quine-relay/QR.lisp spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.cr spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.d spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.dfy spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.dc spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.dhall spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.exs spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.el spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.erl spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.e spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.fsx spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.false spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.fl spoiler/
Expand Down Expand Up @@ -117,7 +118,6 @@ jobs:
sudo docker cp qr:/usr/local/share/quine-relay/QR.lua spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.m4 spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mk spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mac spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mzn spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.mod spoiler/
sudo docker cp qr:/usr/local/share/quine-relay/QR.il spoiler/
Expand Down Expand Up @@ -148,13 +148,7 @@ jobs:
sudo docker cp qr:/usr/local/share/quine-relay/QR.rexx spoiler/
cd spoiler
git add .
GIT_AUTHOR_NAME="$(git show -s --format=%an "$GITHUB_SHA")" \
GIT_AUTHOR_EMAIL="$(git show -s --format=%ae "$GITHUB_SHA")" \
GIT_AUTHOR_DATE="$(git show -s --format=%ad "$GITHUB_SHA")" \
GIT_COMMITTER_NAME='GitHub Actions' \
GIT_COMMITTER_EMAIL='[email protected]' \
TZ=UTC \
git commit --allow-empty -m "spoiler: $(git show -s --format=%s "$GITHUB_SHA")"
GIT_AUTHOR_NAME="$(git show -s --format=%an "$GITHUB_SHA")" GIT_AUTHOR_EMAIL="$(git show -s --format=%ae "$GITHUB_SHA")" GIT_AUTHOR_DATE="$(git show -s --format=%ad "$GITHUB_SHA")" GIT_COMMITTER_NAME='GitHub Actions' GIT_COMMITTER_EMAIL='[email protected]' TZ=UTC git commit --allow-empty -m "spoiler: $(git show -s --format=%s "$GITHUB_SHA")"
git push --quiet origin spoiler
echo The intermediate sources are available: https://github.com/${GITHUB_REPOSITORY}/tree/spoiler
if: github.event_name == 'push' && github.ref == 'refs/heads/master'
Expand Down
25 changes: 12 additions & 13 deletions Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,14 @@
FROM ubuntu:24.04
FROM ubuntu:24.10
ENV DEBIAN_FRONTEND noninteractive
RUN rm /etc/dpkg/dpkg.cfg.d/excludes
RUN apt-get update && apt-get upgrade -y
RUN apt-get -qq install -y apt-utils > /dev/null
RUN apt-get -qq install -y moreutils
RUN chronic apt-get -qq install -y afnix algol68g aplus-fsf aspectj && chronic apt-get clean
RUN chronic apt-get -qq install -y asymptote ats2-lang bash bc && chronic apt-get clean
RUN chronic apt-get -qq install -y bison bsh clisp clojure && chronic apt-get clean
RUN chronic apt-get -qq install -y cmake coffeescript crystal curl && chronic apt-get clean
RUN chronic apt-get -qq install -y dafny dc dhall dotnet8 && chronic apt-get clean
RUN chronic apt-get -qq install -y elixir emacs-nox erlang f2c && chronic apt-get clean
RUN chronic apt-get -qq install -y dc dhall dotnet8 elixir && chronic apt-get clean
RUN chronic apt-get -qq install -y emacs-nox erlang execline f2c && chronic apt-get clean
RUN chronic apt-get -qq install -y fish flex fp-compiler g++ && chronic apt-get clean
RUN chronic apt-get -qq install -y gambas3-gb-pcre gambas3-scripter gap gawk && chronic apt-get clean
RUN chronic apt-get -qq install -y gcc gdb gdc genius && chronic apt-get clean
Expand All @@ -21,15 +20,15 @@ RUN chronic apt-get -qq install -y icont iconx intercal iverilog && chronic apt-
RUN chronic apt-get -qq install -y jasmin-sable jq kotlin ksh && chronic apt-get clean
RUN chronic apt-get -qq install -y libevent-dev libgd-dev libpng-dev libpolyml-dev && chronic apt-get clean
RUN chronic apt-get -qq install -y lisaac livescript llvm lua5.3 && chronic apt-get clean
RUN chronic apt-get -qq install -y m4 make maxima minizinc && chronic apt-get clean
RUN chronic apt-get -qq install -y mono-devel nasm neko nickle && chronic apt-get clean
RUN chronic apt-get -qq install -y nim node-typescript nodejs ocaml && chronic apt-get clean
RUN chronic apt-get -qq install -y octave openjdk-11-jdk pari-gp parser3-cgi && chronic apt-get clean
RUN chronic apt-get -qq install -y perl php-cli pike8.0 polyml && chronic apt-get clean
RUN chronic apt-get -qq install -y python3 r-base rakudo ratfor && chronic apt-get clean
RUN chronic apt-get -qq install -y rc regina-rexx ruby ruby-mustache && chronic apt-get clean
RUN chronic apt-get -qq install -y rustc scala scilab-cli sed && chronic apt-get clean
RUN chronic apt-get -qq install -y slsh spin surgescript swi-prolog && chronic apt-get clean
RUN chronic apt-get -qq install -y m4 make minizinc mono-devel && chronic apt-get clean
RUN chronic apt-get -qq install -y nasm neko nickle nim && chronic apt-get clean
RUN chronic apt-get -qq install -y node-typescript nodejs ocaml octave && chronic apt-get clean
RUN chronic apt-get -qq install -y openjdk-11-jdk pari-gp parser3-cgi perl && chronic apt-get clean
RUN chronic apt-get -qq install -y php-cli pike8.0 polyml python3 && chronic apt-get clean
RUN chronic apt-get -qq install -y r-base rakudo ratfor rc && chronic apt-get clean
RUN chronic apt-get -qq install -y regina-rexx ruby ruby-mustache rustc && chronic apt-get clean
RUN chronic apt-get -qq install -y scala scilab-cli sed slsh && chronic apt-get clean
RUN chronic apt-get -qq install -y spin squirrel3 surgescript swi-prolog && chronic apt-get clean
RUN chronic apt-get -qq install -y tcl tcsh valac vim && chronic apt-get clean
RUN chronic apt-get -qq install -y wabt xsltproc yabasic yorick && chronic apt-get clean
RUN chronic apt-get -qq install -y zoem zsh && chronic apt-get clean
Expand Down
Loading

0 comments on commit 888934b

Please sign in to comment.