@@ -386,8 +386,8 @@ object Settings:
386
386
def BooleanSetting (category : SettingCategory , name : String , descr : String , initialValue : Boolean = false , aliases : List [String ] = Nil , preferPrevious : Boolean = false , deprecation : Option [Deprecation ] = None , ignoreInvalidArgs : Boolean = false ): Setting [Boolean ] =
387
387
publish(Setting (category, prependName(name), descr, initialValue, aliases = aliases, preferPrevious = preferPrevious, deprecation = deprecation, ignoreInvalidArgs = ignoreInvalidArgs))
388
388
389
- def StringSetting (category : SettingCategory , name : String , helpArg : String , descr : String , default : String , aliases : List [String ] = Nil ): Setting [String ] =
390
- publish(Setting (category, prependName(name), descr, default, helpArg, aliases = aliases))
389
+ def StringSetting (category : SettingCategory , name : String , helpArg : String , descr : String , default : String , aliases : List [String ] = Nil , deprecation : Option [ Deprecation ] = None , depends : SettingDependencies = Nil ): Setting [String ] =
390
+ publish(Setting (category, prependName(name), descr, default, helpArg, aliases = aliases, deprecation = deprecation, depends = depends ))
391
391
392
392
def ChoiceSetting (category : SettingCategory , name : String , helpArg : String , descr : String , choices : List [String ], default : String , aliases : List [String ] = Nil , legacyArgs : Boolean = false , deprecation : Option [Deprecation ] = None ): Setting [String ] =
393
393
publish(Setting (category, prependName(name), descr, default, helpArg, Some (choices), aliases = aliases, legacyArgs = legacyArgs, deprecation = deprecation))
@@ -413,8 +413,8 @@ object Settings:
413
413
def PathSetting (category : SettingCategory , name : String , descr : String , default : String , aliases : List [String ] = Nil , deprecation : Option [Deprecation ] = None ): Setting [String ] =
414
414
publish(Setting (category, prependName(name), descr, default, aliases = aliases, deprecation = deprecation))
415
415
416
- def PhasesSetting (category : SettingCategory , name : String , descr : String , default : String = " " , aliases : List [String ] = Nil ): Setting [List [String ]] =
417
- publish(Setting (category, prependName(name), descr, if (default.isEmpty) Nil else List (default), aliases = aliases))
416
+ def PhasesSetting (category : SettingCategory , name : String , descr : String , default : String = " " , aliases : List [String ] = Nil , deprecation : Option [ Deprecation ] = None , depends : SettingDependencies = Nil ): Setting [List [String ]] =
417
+ publish(Setting (category, prependName(name), descr, if (default.isEmpty) Nil else List (default), aliases = aliases, deprecation = deprecation, depends = depends ))
418
418
419
419
def PrefixSetting (category : SettingCategory , name0 : String , descr : String , deprecation : Option [Deprecation ] = None ): Setting [List [String ]] =
420
420
val name = prependName(name0)
0 commit comments