Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 13 Mar 2023 14:11:06 GMT
From:      Li-Wen Hsu <lwhsu@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: 283da459379c - main - devel/splint: Fix build when bison exists
Message-ID:  <202303131411.32DEB6Yr071350@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
The branch main has been updated by lwhsu:

URL: https://cgit.FreeBSD.org/ports/commit/?id=283da459379c602a10e65bdc9c7de8d10a717520

commit 283da459379c602a10e65bdc9c7de8d10a717520
Author:     Chad Jacob Milios <milios@ccsys.com>
AuthorDate: 2023-03-13 14:08:32 +0000
Commit:     Li-Wen Hsu <lwhsu@FreeBSD.org>
CommitDate: 2023-03-13 14:11:00 +0000

    devel/splint: Fix build when bison exists
    
    PR:             269891
---
 devel/splint/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devel/splint/Makefile b/devel/splint/Makefile
index 0b477b963fef..49df11d5a206 100644
--- a/devel/splint/Makefile
+++ b/devel/splint/Makefile
@@ -12,6 +12,7 @@ LICENSE=	GPLv2+
 
 USES=		gmake
 GNU_CONFIGURE=	yes
+CONFIGURE_ENV=	BISON=no
 MAKE_JOBS_UNSAFE=	yes
 
 post-patch:



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202303131411.32DEB6Yr071350>