Ich versuche, meine PHP-Installation anzupassen, bin aber nicht so vertraut mit dem Kompilieren von Programmen von Grund auf. Wie kann ich feststellen, welche Optionen zur Kompilierungszeit für PHP verwendet wurden? Insbesondere versuche ich festzustellen, ob die --with-readline
Option angegeben wurde. Vielen Dank!