ci: Prevent build-static.sh build with custom libs failure

[crazywhalecc]

• Fix Running ./build-static.sh on a laravel project, fetch error #634 (add --for-libs)
• Use --auto-fix for doctor command
• Add --ignore-cache-sources=php-src (switch php version not use cache)

[dunglas]

Thanks! I just left a minor comment.

[dunglas]

By the way, now that there is a lock file for the downloaded libraries, couldn't we put the archives and even the build cache in the cache of GitHub Actions to speed up the CI?

[crazywhalecc]

By the way, now that there is a lock file for the downloaded libraries, couldn't we put the archives and even the build cache in the cache of GitHub Actions to speed up the CI?

Of course we can store download sources into gha cache. (uses: actions/cache@v3) (already used in tests)

But I do not recommend caching buildroot. For example, sometimes we cache a certain library built with the most features (such as curl with nghttp2), and the next time it is compiled without nghttp2, the symbol will not found. Only some libraries that do not depend on any other lib or do not contain optional features in the dep tree can be cached.

In fact, I had plans to directly compile and distribute pkg-config, zlib and other libraries to static-php.dev, but these independent libraries will not take up too much compilation time.

[dunglas]

Thank you very much @crazywhalecc!