dune-configurator: respect $PKG_CONFIG#7469

Merged

anmonteiro merged 2 commits intoocaml:mainfrom anmonteiro:anmonteiro/configurator-prefer-pkg-config

Apr 5, 2023

+23-3

Commits on Apr 4, 2023

dune-configurator: respect $PKG_CONFIG
anmonteiro
committed

Commits on Apr 5, 2023

Merge branch 'main' into anmonteiro/configurator-prefer-pkg-config
anmonteiro
authored