php72 sub-ports fail to build

[Bjarne D Mathiesen]

I did the following :

port -q search php-72 \
| xargs -n1 sudo port -Nup -f install

diff <( port -q search php72- ) \
     <( port -q installed name:^php72- | awk '{print $1}' ) \
| grep '<'

which gave the following output :

< php72-geoip
< php72-oracle

so these two php72 sub-ports fail to build - and they do that on
multiple computers under both 10.13 and 10.11

The logs can be found here : http://www.mathiesen.info/macports/


-- 
Bjarne D Mathiesen
Korsør ; Danmark ; Europa
----------------------------------------------------------------------
denne besked er skrevet i et totalt M$-frit miljø
macOS 10.13.4 High Sierra (17E199)
2 x 3,46 GHz 6-Core Intel Xeon ; 48 GB 1333 MHz DDR3 ECC
ATI Radeon HD 5770 1024 MB