[mapserver-dev] problems compiling mapserver7.4.2 with php7.3 in debian buster

[Linsenmaier Dierk]

Hi,

I solved the problem by setting a link:

cd /usr/local/src/mapserver/mapserver.7.4.2/mapscript/php
ln -s /usr/include/php/20180731/ext

Regards
Dierk


Mit freundlichen Grüßen
Dierk Linsenmaier

-- 

Dierk Linsenmaier
Systemtechnik

regioDATA
Tullastr. 61
79108 Freiburg i. Brsg.
Telefon  07621 91943-477
Telefax   07621 91943-465
dierk.linsenmaier at regiodata-gmbh.de
www.regiodata-gmbh.de

regioDATA Gesellschaft für raumbezogene Informationssysteme mbH Sitz Lörrach, Amtsgericht Freiburg HRB 412719
Geschäftsführer: Michael Schade