Lines Matching refs:required
19 # -extension EXTENSION Specify a required extension or extensions to add to
23 # required extension(s), but not discovered
56 # Make submission for a list of required extension names
57 def makeSubmit(outDir, submitName, required, extradepend, apideps, target='html'):
61 required - a list of one or more extension names comprising the
72 # Convert required list to a set
73 required = set(required)
76 for name in required:
78 if depname not in required:
82 print('echo Required extensions:', ' '.join(sorted(required)))
89 # Generate spec with required extensions + dependencies
90 newSpec = makeTarget(outDir, required.union(extraexts),
116 help='Specify a required extension or extensions to add to targets')
119 help='Specify an extension that is a dependency of the required extension(s), but not discovered automatically')