···

       
4
       
4
       
 
       
authors: "http://pallini.di.uniroma1.it/Links.html#contact"

     

       
5
       
5
       
 
       
bug-reports: "https://github.com/ocaml/opam-repository/issues"

     

       
6
       
6
       
 
       
license: "Apache-2.0"

     

       
7
       
7
       
-
       
build: ["pkg-config" "nauty"] {os != "macos"}

     

       
7
       
7
       
+
       
build: ["pkg-config" "nauty"]

     

       
8
       
8
       
 
       
depends: [

     

       
9
       
9
       
-
       
  "conf-pkg-config" {build & os != "macos"}

     

       
9
       
9
       
+
       
  "conf-pkg-config" {build}

     

       
10
       
10
       
 
       
]

     

       
11
       
11
       
 
       
depexts: [

     

       
12
       
12
       
-
       
  ["libnauty2-dev"] {os-family = "debian"}

     

       
12
       
12
       
+
       
  ["nauty-dev"] {os-distribution = "alpine"}

     

       
13
       
13
       
+
       
  ["libnauty2-dev"] {os-family = "debian" | os-family = "ubuntu"}

     

       
13
       
14
       
 
       
  ["libnauty-devel"] {os-distribution = "fedora"}

     

       
15
       
15
       
+
       
  ["nauty-devel"] {os-family = "suse" | os-family = "opensuse"}

     

       
16
       
16
       
+
       
  ["nauty"] {os = "macos" & os-distribution = "homebrew"}

     

       
17
       
17
       
+
       
  ["nauty"] {os = "freebsd"}

     

       
18
       
18
       
+
       
]

     

       
19
       
19
       
+
       
x-ci-accept-failures: [

     

       
20
       
20
       
+
       
  "archlinux"           # Arch is missing a devel package for nauty: https://archlinux.org/packages/extra/x86_64/nauty/

     

       
21
       
21
       
+
       
  "oraclelinux-7"

     

       
22
       
22
       
+
       
  "oraclelinux-8"

     

       
23
       
23
       
+
       
  "oraclelinux-9"

     

       
24
       
24
       
+
       
  "opensuse-15.6"       # The opensuse packages are missing a .pc file:

     

       
25
       
25
       
+
       
  "opensuse-tumbleweed" # https://opensuse.pkgs.org/tumbleweed/opensuse-oss-x86_64/nauty-devel-2.8.8-2.1.x86_64.rpm.html

     

       
14
       
26
       
 
       
]

     

       
15
       
27
       
 
       
synopsis: "Virtual package relying on nauty"

     

       
16
       
28
       
 
       
description: