From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Petazzoni Date: Wed, 19 Mar 2014 18:11:07 +0100 Subject: [Buildroot] [PATCH] eigen: (optionally) install unsupported modules In-Reply-To: <-4886126666950459885@unknownmsgid> References: <1395173894-4811-1-git-send-email-zinosat@tiscali.it> <1395173894-4811-2-git-send-email-zinosat@tiscali.it> <20140318235542.2eb029b1@skate> <-4886126666950459885@unknownmsgid> Message-ID: <20140319181107.652f7e94@skate> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: buildroot@busybox.net Dear Davide Viti, On Wed, 19 Mar 2014 09:07:10 +0100, Davide Viti wrote: > I can provide a patch that installs the files under > /usr/include/eigen3 and modify my latest patch to install unsupported > under that directory too. Seems like a good choice to me. > I guess separate patches are preferred. Great, thanks! Thomas -- Thomas Petazzoni, CTO, Free Electrons Embedded Linux, Kernel and Android engineering http://free-electrons.com