Sebastian Holtermann 87341d8328 cmDepends: Define DependencyMap instead of DependencyVector
In `cmDepends` use
`typedef std::map<std::string, std::vector<std::string>> DependencyMap`
instead of defining a
`class DependencyVector : public std::vector<std::string>`
and using it in `std::map<std::string, DependencyVector>`.

Since `std::map<std::string, std::vector<std::string>>` is used in various
other places, we now reuse all of it's auto generated methods.  This doesn't
happen when we use `DependencyVector` in a `std::map`, because it is a
different class than `std::vector<std::string>`.
2019-03-27 18:12:43 +01:00
..
2019-03-22 09:37:08 -04:00
2018-06-04 10:32:49 -04:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-03-18 14:18:13 -04:00
2019-03-18 14:18:13 -04:00
2019-03-22 09:22:44 -04:00
2019-03-22 09:22:44 -04:00
2019-03-19 13:39:18 -04:00
2019-03-27 00:01:08 -04:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-01-29 14:09:21 -05:00
2019-03-20 11:41:29 -04:00
2019-03-20 11:41:29 -04:00
2019-01-22 13:03:04 -05:00
2019-01-22 13:03:04 -05:00
2019-01-25 06:44:32 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2018-06-04 10:32:49 -04:00
2018-12-12 09:46:13 -05:00
2018-12-12 09:46:13 -05:00
2018-12-12 06:40:10 -05:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-03-18 15:09:10 +01:00
2019-01-25 06:44:32 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2018-06-04 10:32:49 -04:00
2019-01-29 14:09:21 -05:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2018-11-19 23:35:09 +01:00
2019-01-25 06:44:32 -05:00
2019-01-22 13:03:04 -05:00
2019-01-22 13:03:04 -05:00
2019-01-22 13:03:04 -05:00
2019-01-22 13:03:04 -05:00
2019-01-25 06:44:32 -05:00
2019-01-25 06:44:32 -05:00
2019-01-17 13:12:02 -05:00
2019-02-21 08:24:26 -05:00
2019-01-22 13:03:04 -05:00
2019-01-29 14:09:21 -05:00
2019-01-29 14:09:21 -05:00
2019-01-22 13:03:04 -05:00
2019-01-22 13:03:04 -05:00
2019-01-25 06:44:32 -05:00
2019-01-29 14:09:21 -05:00
2018-08-24 14:58:49 -04:00
2018-08-24 14:58:49 -04:00
2019-01-29 14:09:21 -05:00
2019-01-25 06:44:32 -05:00
2019-01-22 13:03:04 -05:00
2018-04-03 17:28:08 -04:00