File tree Expand file tree Collapse file tree 3 files changed +27
-1
lines changed
.devcontainer/portability-fedora-42
src/sage/graphs/graph_decompositions Expand file tree Collapse file tree 3 files changed +27
-1
lines changed Original file line number Diff line number Diff line change
1
+ // See https://aka.ms/devcontainer.json for format details.
2
+ {
3
+ "name" : " fedora-42" ,
4
+ "image" : " fedora:42" ,
5
+ "onCreateCommand" : " .devcontainer/onCreate-meson.sh || true" ,
6
+ "features" : {
7
+ "ghcr.io/devcontainers/features/git" : {},
8
+ "ghcr.io/devcontainers/features/python:1" : {},
9
+ "../uv" : {
10
+ "version" : " latest"
11
+ }
12
+ },
13
+ "customizations" : {
14
+ "vscode" : {
15
+ "extensions" : [
16
+ " ms-python.python"
17
+ ]
18
+ }
19
+ }
20
+ }
Original file line number Diff line number Diff line change 11
11
12
12
jobs :
13
13
build :
14
+ name : Build and Test
14
15
runs-on : ubuntu-latest
15
16
strategy :
16
17
fail-fast : false
41
42
42
43
- name : Install dependencies
43
44
run : |
45
+ # Install dnf5
46
+ if [ "${{ matrix.container }}" = "fedora:40" ] && ! rpm -q dnf5 >/dev/null; then
47
+ rpm-ostree install dnf5 dnf5-plugins
48
+ fi
49
+
44
50
SYSTEM=$(build/bin/sage-guess-package-system)
45
51
if [ "$SYSTEM" = "fedora" ]; then
46
52
# Need to use --setopt=tsflags="" to avoid errors with gphelp
Original file line number Diff line number Diff line change 5
5
tdlib = disabler ()
6
6
endif
7
7
# Cannot be found via pkg-config
8
- rw = cc.find_library (' rw' )
8
+ rw = cc.find_library (' rw' , required : false , disabler : true )
9
9
10
10
py.install_sources(
11
11
' __init__.py' ,
You can’t perform that action at this time.
0 commit comments