···

       
38
       
38
       
 
       
       opam repository add aoah-overlay .

     

       
39
       
39
       
 
       
  - name: opam install

     

       
40
       
40
       
 
       
    command: |

     

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

     

       
41
       
42
       
 
       
       opam install --confirm-level=unsafe-yes -v --with-test $(./list-packages.sh)