Adding PHP 8.3

smokodon · smokodon · commit d215349a80a6 · 2023-12-14T18:52:53.000+01:00
diff --git a/bin/compile b/bin/compile
@@ -69,7 +69,7 @@ if [[ $VERSION == nightly* || $VERSION == master* ]]; then
   fi
 fi
 
-php-build -i development "${buildDefinition}" "${INSTALL_DEST}/${VERSION}"
+sudo php-build -i development "${buildDefinition}" "${INSTALL_DEST}/${VERSION}"
 
 pushd "${INSTALL_DEST}/${VERSION}"
 
