Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable

To: 798997@bugs.debian.org
Subject: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
From: Mathias Krause <minipli@googlemail.com>
Date: Tue, 15 Sep 2015 07:06:53 +0200
Message-id: <[🔎] CA+rthh-F06HZdgQWCE-iA2QeCfUgx1p+D12yO_OphpwVX9PUeg@mail.gmail.com>
Reply-to: Mathias Krause <minipli@googlemail.com>, 798997@bugs.debian.org

The plugin package still fails here because it cannot find mpc.h,
included, e.g., from
/usr/lib/gcc/x86_64-linux-gnu/5/plugin/include/builtin.h. That file is
provided by libmpc-dev which, IMHO, gcc-5-plugin-dev should depend on.

Regards,
Mathias

Reply to:

Follow-Ups:
- Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
  - From: Matthias Klose <doko@debian.org>

Prev by Date: Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)
Next by Date: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
Previous by thread: Bug#798997: marked as done (gcc-5-plugin-dev: gcc-5 plugins unusable)
Next by thread: Bug#798997: gcc-5-plugin-dev: gcc-5 plugins unusable
Index(es):
- Date
- Thread