Uploaded image for project: 'PHP Driver: Extension'
  1. PHP Driver: Extension
  2. PHPC-1189

Prefix maintainer/coverage configure options with "mongodb"

    • Type: Icon: Improvement Improvement
    • Resolution: Fixed
    • Priority: Icon: Minor - P4 Minor - P4
    • 1.5.0
    • Affects Version/s: None
    • Component/s: None
    • None

      config.m4 currently defines developer-flags and coverage enable options. For static builds, these could conflict with other extensions. We should prefix them with "mongodb".

      Since both of these options are intended for internal usage, BC should not be a concern and we can simply rename them.

      That would leave only the following options without prefixes, both of which are already deprecated:

      • PHP_ARG_WITH([openssl-dir])
      • PHP_ARG_WITH([system-ciphers])

            Assignee:
            jmikola@mongodb.com Jeremy Mikola
            Reporter:
            jmikola@mongodb.com Jeremy Mikola
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: