···

       
37
       
37
       
 
       
       opam repo add aoah https://tangled.org/anil.recoil.org/aoah-opam-repo.git

     

       
38
       
38
       
 
       
  - name: switch

     

       
39
       
39
       
 
       
    command: |

     

       
40
       
40
       
-
       
       opam install . --confirm-level=unsafe-yes --deps-only

     

       
40
       
40
       
+
       
      export PKG_CONFIG_PATH="${PKG_CONFIG_PATH}:$(nix build nixpkgs#gmp.dev --no-link --print-out-paths)/lib/pkgconfig"

     

       
41
       
41
       
+
       
      opam install . --confirm-level=unsafe-yes --deps-only

     

       
41
       
42
       
 
       
  - name: build

     

       
42
       
43
       
 
       
    command: |

     

       
43
       
44
       
 
       
       opam exec -- dune build -p conpool