|Version 1 (modified by nominolo, 5 years ago)|
A Semantics for Package Description Files
The following is an attempt to give a semantics to Cabal's package description file. We will construct a function that, given an assignment for all configuration flags in the package and a set of all packages available in the environment returns whether the function is buildable or not.
A flag assignment consists of a flag name and a boolean value.
flag-assign ::= flag-name := ( "true" | "false" )