options
From MaRDI portal
Options
Simple mechanisms for defining and interpreting package options. Provides helpers for interpreting environment variables, global options, defining default values and more.
This page was built for software: options