···

       
4
       
4
       
 
       
homepage: "https://kernel.org/"

     

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

     

       
6
       
6
       
 
       
license: [ "GPL-2.0-only" ]

     

       
7
       
7
       
-
       
build: [["ls" "/usr/include/linux/stddef.h"]]

     

       
7
       
7
       
+
       
build: [

     

       
8
       
8
       
+
       
  ["sh" "-exc" "echo '#include <linux/stddef.h>' > test.c"]

     

       
9
       
9
       
+
       
  ["cc" "-E" "test.c"]

     

       
10
       
10
       
+
       
]

     

       
8
       
11
       
 
       
depexts: [

     

       
9
       
12
       
 
       
  ["linux-libc-dev"] {os-family = "debian"}

     

       
10
       
13
       
 
       
  ["linux-libc-dev"] {os-family = "ubuntu"}