github-mirrors/php-gnupg
1
0
Fork 0
mirror of https://github.com/php-gnupg/php-gnupg.git synced 2024-12-22 09:51:41 +00:00
Code Issues Projects Releases Packages Activity

Add /opt/homebrew to the configuration SEARCH_PATH (#43)

Browse source
This commit is contained in:
Jakub Zelenka 2022-02-20 21:06:23 +00:00 committed by GitHub
parent 0271998c03
commit b0b84c5ac1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
config.m4
View file

@ -14,7 +14,7 @@ PHP_ARG_WITH(gnupg, for gnupg support,
[ --with-gnupg[=dir] Include gnupg support])
if test "$PHP_GNUPG" != "no"; then
SEARCH_PATH="/usr/local /usr /opt"
SEARCH_PATH="/usr/local /usr /opt /opt/homebrew"
SEARCH_FOR="include/gpgme.h"
SEARCH_FOR_ALT="include/gpgme/gpgme.h"
if test -r $PHP_GNUPG/$SEARCH_FOR; then