def os_defaults(self, specs):
    self.gen.h2('Possible operating systems')
    platform = spack.architecture.platform()
    possible = set([platform.front_os, platform.back_os, platform.default_os])
    for spec in specs:
        if (spec.architecture and spec.architecture.os):
            possible.add(spec.architecture.os)
    for possible_os in sorted(possible):
        self.gen.fact(fn.os(possible_os))
    self.gen.fact(fn.node_os_default(platform.default_os))
def os_defaults(self, specs):
    self.gen.h2('Possible operating systems')
    platform = spack.architecture.platform()
    possible = set([platform.front_os, platform.back_os, platform.default_os])
    for spec in specs:
        if (spec.architecture and spec.architecture.os):
            possible.add(spec.architecture.os)
    for possible_os in sorted(possible):
        self.gen.fact(fn.os(possible_os))
    self.gen.fact(fn.node_os_default(platform.default_os))