Solved Synth & PHP 7.3

I'm using ports-mgmt/synth and trying to upgrade from lang/php71 to lang/php73.

I've modified my /usr/local/etc/synth/LiveSystem-make.conf file and changed DEFAULT_VERSIONS php=7.1 to php=7.3
Code:
# /usr/ports/Mk/bsd.options.desc.mk
OPTIONS_UNSET = X11 CUPS
DEFAULT_VERSIONS += ssl=openssl111 php=7.3 mysql=5.6

However, when I do a sudo synth status, no upgrades are needed to be done.
Code:
$ sudo synth status
Querying system about current package installations.
Stand by, comparing installed packages against the ports tree.
Scanning existing packages.
These are the ports that would be built ([N]ew, [R]ebuild, [U]pgrade):
Total packages that would be built: 0
The complete build list can also be found at:
/var/synth/synth_status_results.txt

What do I need to do with Synth in order to upgrade my PHP to latest version?
 
It does nothing different and refuses to switch over to PHP 7.3

It's now building the latest PHP 7.1 update that was just released on the ports system (which is not what I want).
 
I suppose you should open a issue at the Synth GitHub page; however if you delete all packages in the repository and build everything again you may be able to workaround this problem.
 
In case anyone else runs in to this issue, I was able to solve it by doing this :

Add "php=7.3" to DEFAULT_VERSIONS in your /usr/local/etc/synth/LiveSystem-make.conf file.
Code:
synth just-build lang/php73-extensions
synth just-build www/mod_php73
synth rebuild-repository
   
pkg install lang/php73-extensions
pkg install www/mod_php73

Doing it this way, you do not need to manually remove any packages - as PKG will do that for you automatically before installing the new versions
 
Back
Top