options
From MaRDI portal
Options
Description
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