Skip to content

Commit efa82ce

Browse files
authored
chore: create fedora-42 package (#2543)
1 parent dd17f5b commit efa82ce

2 files changed

Lines changed: 35 additions & 0 deletions

File tree

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
FROM fedora:42
2+
3+
WORKDIR /souffle
4+
5+
# Install souffle build dependencies
6+
#
7+
# mcpp is not available anymore
8+
RUN dnf -y update
9+
RUN dnf -y install \
10+
autoconf \
11+
automake \
12+
bash-completion \
13+
bison \
14+
cmake \
15+
doxygen \
16+
flex \
17+
gcc-c++ \
18+
git \
19+
libffi-devel \
20+
libtool \
21+
make \
22+
ncurses-devel \
23+
pkg-config \
24+
python39 \
25+
rpm-build \
26+
sqlite-devel \
27+
zlib-devel
28+
29+
# Copy everything into souffle directory
30+
COPY . .
31+
32+
ENTRYPOINT ["/bin/bash", "-l", "-c", ".github/images/entrypoint.sh"]

.github/workflows/create-packages.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,9 @@ jobs:
2727
- release: fedora-41
2828
extension: ".rpm"
2929
OS-name: "fedora/41"
30+
- release: fedora-42
31+
extension: ".rpm"
32+
OS-name: "fedora/42"
3033

3134
runs-on: ubuntu-latest
3235
steps:

0 commit comments

Comments
 (0)