Created attachment 188205 [details]
Fixing sodium dependency
There is a missing dependency line since php 7.2 was added, provided patch fixes that.
The issue becomes apparent when trying to build lang/php72-extensions with sodium checked
@ale: The diff looks fine to me. I can reproduce the error and that the patch fixes it.
Can you please approve it?
A commit references this bug:
Date: Thu Dec 7 16:40:20 UTC 2017
New revision: 455738
Uses/php.mk: add missing sodium dependency
The issue becomes apparent when trying to build lang/php72-extensions
with sodium checked.
Submitted by: Daniel Ylitalo <email@example.com>
Approved by: ale
ale approved per email. Committed, thanks :)