Jason Rhinelander
835fa9bcc6
Miscellaneous travis-ci updates/fixes
...
- For the debian/buster docker build (GCC 7/C++17) install and use the
system `catch` package; this also renames "COMPILER_PACKAGES" to
"EXTRA_PACKAGES" since it now contains a non-compiler package.
- Add a status message indicating the catch version being used for
compiling the embedded tests
- Simplify some bash code by using VAR+=" foo" to append (rather than
VAR="${VAR} foo"
- Fix CMAKE_INCLUDE_PATH appending: it was prepending the ':' but not
the existing $CMAKE_INCLUDE_PATH value and so would end up with
":/eigen-path" if CMAKE_INCLUDE_PATH was already set. (This wasn't
bug that was actually noticed since currently nothing else sets it).
2017-10-22 13:33:58 -03:00
..
2017-08-07 23:08:20 +02:00
2017-10-22 13:33:58 -03:00
2017-09-28 08:04:34 -03:00
2017-08-17 09:33:27 -04:00
2017-06-12 09:56:55 -03:00
2017-09-10 12:28:03 +02:00
2017-01-31 17:05:44 +01:00
2017-09-12 08:06:46 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-06-10 16:44:21 +02:00
2017-09-21 18:07:48 -03:00
2017-09-21 18:07:48 -03:00
2017-10-12 09:41:54 -04:00
2017-10-12 09:41:54 -04:00
2017-09-06 10:21:11 +02:00
2017-09-06 10:21:11 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-28 16:34:06 +02:00
2017-08-28 16:34:06 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-09-16 12:02:49 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-10-12 09:45:55 -04:00
2017-10-12 09:45:55 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2016-11-20 21:21:54 +01:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-07-28 20:40:35 -04:00
2017-08-04 10:47:34 -04:00
2017-08-23 12:05:18 -04:00
2017-08-28 16:08:53 +02:00
2017-08-25 02:12:43 +02:00
2017-08-25 02:12:43 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-09-10 12:28:03 +02:00
2017-09-10 12:28:03 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-07-28 20:39:33 -04:00
2017-08-17 09:33:27 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-09-19 23:16:45 -03:00
2017-09-19 23:17:21 -03:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-30 14:22:00 +02:00
2017-08-30 14:22:00 +02:00
2017-09-06 15:20:52 +02:00
2017-08-30 11:11:38 +02:00
2017-09-11 10:09:32 +02:00
2017-09-11 10:09:32 +02:00
2017-08-05 18:46:22 -04:00
2017-08-05 18:46:22 -04:00
2017-08-23 17:18:57 +02:00
2017-08-05 18:46:22 -04:00
2017-09-10 12:25:10 +02:00
2017-09-10 12:25:10 +02:00
2017-09-10 12:25:10 +02:00
2017-09-12 08:06:46 +02:00
2017-08-17 09:33:27 -04:00
2017-08-17 09:33:27 -04:00