diff options
| author | John Marino <marino@FreeBSD.org> | 2014-01-26 14:34:24 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2014-01-26 14:34:24 +0000 |
| commit | 96ca0a085ec8cc83171fbcfc16bc646dd32afdd4 (patch) | |
| tree | 0d8cd9a904ad30ecffcf053c3d7cfe06201907a3 /Mk/bsd.options.desc.mk | |
| parent | - Stage support (diff) | |
mail/policyd2: Fix WebUI, add it as an option
* Add WEBUI to the standard option descriptions
* Use PHP only if WebUI option selected
* Specify proper php database driver depending on database selected
between mysql, pgsql, or sqlite
* Port revision bumped because it fixes bug depending on options selected
Due to bitrot caused by staging work, this patch had to be rewritten
from scratch. I believe the intent has been maintained.
PR: ports/184503
Submitted by: Christopher Davis
Approved by: maintainer (Chifeng)
Rewritten b: marino@
Notes
Notes:
svn path=/head/; revision=341189
Diffstat (limited to 'Mk/bsd.options.desc.mk')
| -rw-r--r-- | Mk/bsd.options.desc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Mk/bsd.options.desc.mk b/Mk/bsd.options.desc.mk index 828b14d1a9b1..506ab9a0f6e4 100644 --- a/Mk/bsd.options.desc.mk +++ b/Mk/bsd.options.desc.mk @@ -457,6 +457,7 @@ WAVPACK_DESC?= WavPack lossless audio format support WEBKIT_DESC?= WebKit support WEBP_DESC?= WebP image format support WEBSERVER_DESC?= Build and/or install internal web server +WEBUI_DESC?= Build and/or install web user interface WMA_DESC?= Windows Media Audio support WMF_DESC?= Windows Metafile support WXGTK_DESC?= wxGTK GUI toolkit support |