Markus Blatt
4bb23ecf5a
[cmake] Use scotch include dir for parmetis bindings of scotch.
...
The parmetis.h distributed via the parmetis binding of scotch
with Ubuntu 18.04 (libscotchparmetis-dev) includes the header
scotch.h located in /usr/include/scotch/. Therefore our check
of the include file failed. With this commit we check the
parmetis.h header another time with the scotch include path added.
Now parmetis is found on my Ubuntu.
2020-10-28 13:48:57 +01:00
..
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2015-05-08 11:55:40 +02:00
2018-02-12 13:36:49 +01:00
2014-04-23 14:56:27 +02:00
2018-09-21 13:49:39 +02:00
2015-05-08 11:55:40 +02:00
2018-10-15 09:42:13 +02:00
2015-03-18 14:48:36 +01:00
2016-11-02 21:22:58 +01:00
2018-02-12 13:36:49 +01:00
2018-02-12 13:36:49 +01:00
2016-10-04 12:57:38 +02:00
2015-03-18 14:48:36 +01:00
2020-02-10 11:36:56 +01:00
2020-02-10 11:36:56 +01:00
2020-02-10 11:36:56 +01:00
2020-08-11 00:25:23 +02:00
2020-02-10 11:36:56 +01:00
2018-07-02 15:56:03 +02:00
2015-03-18 14:48:36 +01:00
2020-02-10 11:36:56 +01:00
2015-03-18 14:48:36 +01:00
2015-06-05 13:27:55 +02:00
2015-09-10 14:44:49 +02:00
2016-08-31 22:07:46 +02:00
2018-03-27 12:09:09 +02:00
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2020-10-28 13:48:57 +01:00
2017-09-10 06:18:48 +02:00
2015-08-25 18:06:00 +02:00
2016-08-24 14:56:08 +02:00
2015-03-18 14:48:36 +01:00
2018-01-22 15:29:44 +01:00
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2020-04-27 16:00:49 +02:00
2018-06-26 09:22:03 +02:00
2016-02-25 16:40:59 +01:00
2017-09-29 21:13:10 +02:00
2018-09-25 12:31:11 +02:00
2017-10-26 10:51:18 +02:00
2020-04-14 11:44:32 +02:00
2020-04-28 12:58:39 +02:00
2015-03-18 14:48:36 +01:00
2015-06-19 13:14:22 +02:00
2017-11-08 14:58:38 +01:00
2020-05-20 14:55:52 +02:00
2016-04-06 11:58:36 +02:00
2020-04-15 14:17:53 +02:00
2020-04-15 14:17:53 +02:00
2016-04-08 14:05:26 +02:00
2020-06-09 15:11:44 +02:00
2020-08-11 00:53:45 +02:00
2018-06-18 12:47:53 +02:00
2016-10-04 12:57:38 +02:00
2020-04-03 10:15:29 +02:00
2019-10-16 20:03:08 -05:00
2017-12-20 11:12:01 +01:00
2015-05-08 11:55:40 +02:00
2015-04-28 09:06:02 +02:00
2017-10-20 12:37:34 +02:00
2017-06-15 14:39:27 +02:00
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2015-03-18 14:48:36 +01:00
2020-04-27 12:54:18 +02:00
2018-09-14 10:29:59 +02:00
2015-03-18 14:48:36 +01:00
2019-07-09 10:35:40 +02:00
2015-03-18 14:48:36 +01:00
2016-05-10 11:19:53 +02:00
2015-03-18 14:48:36 +01:00
2020-06-08 10:06:03 +02:00
2019-06-25 11:18:47 +02:00