From owner-freebsd-ports@FreeBSD.ORG Thu Oct 12 10:46:18 2006 Return-Path: X-Original-To: ports@freebsd.org Delivered-To: freebsd-ports@FreeBSD.ORG Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 7F19516A407 for ; Thu, 12 Oct 2006 10:46:18 +0000 (UTC) (envelope-from bsam@ipt.ru) Received: from mail.ipt.ru (mail.ipt.ru [80.253.10.82]) by mx1.FreeBSD.org (Postfix) with ESMTP id AD53C43D7E for ; Thu, 12 Oct 2006 10:46:08 +0000 (GMT) (envelope-from bsam@ipt.ru) Received: from srv.sem.ipt.ru ([192.168.12.1] helo=ipt.ru) by mail.ipt.ru with esmtp (Exim 4.62 (FreeBSD)) (envelope-from ) id 1GXy4e-000HHM-E1; Thu, 12 Oct 2006 14:46:00 +0400 Received: from bsam by ipt.ru with local (Exim 4.63 (FreeBSD)) (envelope-from ) id 1GXy5b-000Eda-Kt; Thu, 12 Oct 2006 14:46:59 +0400 To: "Petr Holub" References: <200610091354.k99Ds5jc072540@evenstar.ics.muni.cz> From: Boris Samorodov Date: Thu, 12 Oct 2006 14:46:59 +0400 In-Reply-To: <200610091354.k99Ds5jc072540@evenstar.ics.muni.cz> (Petr Holub's message of "Thu, 12 Oct 2006 09:56:30 +0200") Message-ID: <04976284@srv.sem.ipt.ru> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: ports@freebsd.org, karel@lovetemple.net Subject: Re: lang/gnat-gcc41 build error X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 12 Oct 2006 10:46:18 -0000 On Thu, 12 Oct 2006 09:56:30 +0200 Petr Holub wrote: > checking for correct version of gmp.h... yes > checking for MPFR... no Seems that you have installed math/libgmp4. The configure script assumes that at that case you should have installed mpfr.h. Hence either delete math/libgmp4 or try to install math/mpfr. WBR -- Boris Samorodov (bsam) Research Engineer, http://www.ipt.ru Telephone & Internet SP FreeBSD committer, http://www.FreeBSD.org The Power To Serve