HomeFreeBSD

devel/google-perftools: Add PROFILER options

Description

devel/google-perftools: Add PROFILER options

Option for CPU profiler is mostly to isolate situations when
configure fails to enable it, like on armv6, armv7.

Reference: https://github.com/gperftools/gperftools/issues/1355#issuecomment-1188455253
(cherry picked from commit 35bf4d1c97b88bec3bf690701f72113a2b60d78f)

Details

Provenance
yuriAuthored on Jul 19 2022, 12:13 AM
Parents
R11:6a2dc03b63be: math/apron: Remove BROKEN line
Branches
Unknown
Tags
Unknown