|
|
@@ -41,6 +41,9 @@ public:
|
|
|
|
|
|
/** Get the list of supported platforms name for this generator */
|
|
|
virtual std::vector<std::string> GetKnownPlatforms() const = 0;
|
|
|
+
|
|
|
+ /** If the generator suports platforms, get its default. */
|
|
|
+ virtual std::string GetDefaultPlatformName() const = 0;
|
|
|
};
|
|
|
|
|
|
template <class T>
|
|
|
@@ -87,6 +90,8 @@ public:
|
|
|
// default is no platform supported
|
|
|
return std::vector<std::string>();
|
|
|
}
|
|
|
+
|
|
|
+ std::string GetDefaultPlatformName() const override { return std::string(); }
|
|
|
};
|
|
|
|
|
|
#endif
|