head	1.10;
access;
symbols
	pkgsrc-2026Q1:1.10.0.4
	pkgsrc-2026Q1-base:1.10
	pkgsrc-2025Q4:1.10.0.2
	pkgsrc-2025Q4-base:1.10
	pkgsrc-2025Q3:1.9.0.16
	pkgsrc-2025Q3-base:1.9
	pkgsrc-2025Q2:1.9.0.14
	pkgsrc-2025Q2-base:1.9
	pkgsrc-2025Q1:1.9.0.12
	pkgsrc-2025Q1-base:1.9
	pkgsrc-2024Q4:1.9.0.10
	pkgsrc-2024Q4-base:1.9
	pkgsrc-2024Q3:1.9.0.8
	pkgsrc-2024Q3-base:1.9
	pkgsrc-2024Q2:1.9.0.6
	pkgsrc-2024Q2-base:1.9
	pkgsrc-2024Q1:1.9.0.4
	pkgsrc-2024Q1-base:1.9
	pkgsrc-2023Q4:1.9.0.2
	pkgsrc-2023Q4-base:1.9
	pkgsrc-2023Q3:1.8.0.30
	pkgsrc-2023Q3-base:1.8
	pkgsrc-2023Q2:1.8.0.28
	pkgsrc-2023Q2-base:1.8
	pkgsrc-2023Q1:1.8.0.26
	pkgsrc-2023Q1-base:1.8
	pkgsrc-2022Q4:1.8.0.24
	pkgsrc-2022Q4-base:1.8
	pkgsrc-2022Q3:1.8.0.22
	pkgsrc-2022Q3-base:1.8
	pkgsrc-2022Q2:1.8.0.20
	pkgsrc-2022Q2-base:1.8
	pkgsrc-2022Q1:1.8.0.18
	pkgsrc-2022Q1-base:1.8
	pkgsrc-2021Q4:1.8.0.16
	pkgsrc-2021Q4-base:1.8
	pkgsrc-2021Q3:1.8.0.14
	pkgsrc-2021Q3-base:1.8
	pkgsrc-2021Q2:1.8.0.12
	pkgsrc-2021Q2-base:1.8
	pkgsrc-2021Q1:1.8.0.10
	pkgsrc-2021Q1-base:1.8
	pkgsrc-2020Q4:1.8.0.8
	pkgsrc-2020Q4-base:1.8
	pkgsrc-2020Q3:1.8.0.6
	pkgsrc-2020Q3-base:1.8
	pkgsrc-2020Q2:1.8.0.4
	pkgsrc-2020Q2-base:1.8
	pkgsrc-2020Q1:1.8.0.2
	pkgsrc-2020Q1-base:1.8
	pkgsrc-2019Q4:1.6.0.62
	pkgsrc-2019Q4-base:1.6
	pkgsrc-2019Q3:1.6.0.58
	pkgsrc-2019Q3-base:1.6
	pkgsrc-2019Q2:1.6.0.56
	pkgsrc-2019Q2-base:1.6
	pkgsrc-2019Q1:1.6.0.54
	pkgsrc-2019Q1-base:1.6
	pkgsrc-2018Q4:1.6.0.52
	pkgsrc-2018Q4-base:1.6
	pkgsrc-2018Q3:1.6.0.50
	pkgsrc-2018Q3-base:1.6
	pkgsrc-2018Q2:1.6.0.48
	pkgsrc-2018Q2-base:1.6
	pkgsrc-2018Q1:1.6.0.46
	pkgsrc-2018Q1-base:1.6
	pkgsrc-2017Q4:1.6.0.44
	pkgsrc-2017Q4-base:1.6
	pkgsrc-2017Q3:1.6.0.42
	pkgsrc-2017Q3-base:1.6
	pkgsrc-2017Q2:1.6.0.38
	pkgsrc-2017Q2-base:1.6
	pkgsrc-2017Q1:1.6.0.36
	pkgsrc-2017Q1-base:1.6
	pkgsrc-2016Q4:1.6.0.34
	pkgsrc-2016Q4-base:1.6
	pkgsrc-2016Q3:1.6.0.32
	pkgsrc-2016Q3-base:1.6
	pkgsrc-2016Q2:1.6.0.30
	pkgsrc-2016Q2-base:1.6
	pkgsrc-2016Q1:1.6.0.28
	pkgsrc-2016Q1-base:1.6
	pkgsrc-2015Q4:1.6.0.26
	pkgsrc-2015Q4-base:1.6
	pkgsrc-2015Q3:1.6.0.24
	pkgsrc-2015Q3-base:1.6
	pkgsrc-2015Q2:1.6.0.22
	pkgsrc-2015Q2-base:1.6
	pkgsrc-2015Q1:1.6.0.20
	pkgsrc-2015Q1-base:1.6
	pkgsrc-2014Q4:1.6.0.18
	pkgsrc-2014Q4-base:1.6
	pkgsrc-2014Q3:1.6.0.16
	pkgsrc-2014Q3-base:1.6
	pkgsrc-2014Q2:1.6.0.14
	pkgsrc-2014Q2-base:1.6
	pkgsrc-2014Q1:1.6.0.12
	pkgsrc-2014Q1-base:1.6
	pkgsrc-2013Q4:1.6.0.10
	pkgsrc-2013Q4-base:1.6
	pkgsrc-2013Q3:1.6.0.8
	pkgsrc-2013Q3-base:1.6
	pkgsrc-2013Q2:1.6.0.6
	pkgsrc-2013Q2-base:1.6
	pkgsrc-2013Q1:1.6.0.4
	pkgsrc-2013Q1-base:1.6
	pkgsrc-2012Q4:1.6.0.2
	pkgsrc-2012Q4-base:1.6
	pkgsrc-2012Q3:1.5.0.40
	pkgsrc-2012Q3-base:1.5
	pkgsrc-2012Q2:1.5.0.38
	pkgsrc-2012Q2-base:1.5
	pkgsrc-2012Q1:1.5.0.36
	pkgsrc-2012Q1-base:1.5
	pkgsrc-2011Q4:1.5.0.34
	pkgsrc-2011Q4-base:1.5
	pkgsrc-2011Q3:1.5.0.32
	pkgsrc-2011Q3-base:1.5
	pkgsrc-2011Q2:1.5.0.30
	pkgsrc-2011Q2-base:1.5
	pkgsrc-2011Q1:1.5.0.28
	pkgsrc-2011Q1-base:1.5
	pkgsrc-2010Q4:1.5.0.26
	pkgsrc-2010Q4-base:1.5
	pkgsrc-2010Q3:1.5.0.24
	pkgsrc-2010Q3-base:1.5
	pkgsrc-2010Q2:1.5.0.22
	pkgsrc-2010Q2-base:1.5
	pkgsrc-2010Q1:1.5.0.20
	pkgsrc-2010Q1-base:1.5
	pkgsrc-2009Q4:1.5.0.18
	pkgsrc-2009Q4-base:1.5
	pkgsrc-2009Q3:1.5.0.16
	pkgsrc-2009Q3-base:1.5
	pkgsrc-2009Q2:1.5.0.14
	pkgsrc-2009Q2-base:1.5
	pkgsrc-2009Q1:1.5.0.12
	pkgsrc-2009Q1-base:1.5
	pkgsrc-2008Q4:1.5.0.10
	pkgsrc-2008Q4-base:1.5
	pkgsrc-2008Q3:1.5.0.8
	pkgsrc-2008Q3-base:1.5
	cube-native-xorg:1.5.0.6
	cube-native-xorg-base:1.5
	pkgsrc-2008Q2:1.5.0.4
	pkgsrc-2008Q2-base:1.5
	cwrapper:1.5.0.2
	pkgsrc-2008Q1:1.4.0.18
	pkgsrc-2008Q1-base:1.4
	pkgsrc-2007Q4:1.4.0.16
	pkgsrc-2007Q4-base:1.4
	pkgsrc-2007Q3:1.4.0.14
	pkgsrc-2007Q3-base:1.4
	pkgsrc-2007Q2:1.4.0.12
	pkgsrc-2007Q2-base:1.4
	pkgsrc-2007Q1:1.4.0.10
	pkgsrc-2007Q1-base:1.4
	pkgsrc-2006Q4:1.4.0.8
	pkgsrc-2006Q4-base:1.4
	pkgsrc-2006Q3:1.4.0.6
	pkgsrc-2006Q3-base:1.4
	pkgsrc-2006Q2:1.4.0.4
	pkgsrc-2006Q2-base:1.4
	pkgsrc-2006Q1:1.4.0.2
	pkgsrc-2006Q1-base:1.4
	pkgsrc-2005Q4:1.3.0.6
	pkgsrc-2005Q4-base:1.3
	pkgsrc-2005Q3:1.3.0.4
	pkgsrc-2005Q3-base:1.3
	pkgsrc-2005Q2:1.3.0.2
	pkgsrc-2005Q2-base:1.3
	pkgsrc-2005Q1:1.2.0.4
	pkgsrc-2005Q1-base:1.2
	pkgsrc-2004Q4:1.2.0.2
	pkgsrc-2004Q4-base:1.2
	pkgsrc-2004Q3:1.1.1.1.0.6
	pkgsrc-2004Q3-base:1.1.1.1
	pkgsrc-2004Q2:1.1.1.1.0.4
	pkgsrc-2004Q2-base:1.1.1.1
	pkgsrc-2004Q1:1.1.1.1.0.2
	pkgsrc-2004Q1-base:1.1.1.1
	pkgsrc-base:1.1.1.1
	TNF:1.1.1;
locks; strict;
comment	@# @;


1.10
date	2025.11.17.11.00.33;	author wiz;	state Exp;
branches;
next	1.9;
commitid	riyAI0LyQsKiDTiG;

1.9
date	2023.12.15.13.49.37;	author wiz;	state Exp;
branches;
next	1.8;
commitid	AZUaHDO4idkuazQE;

1.8
date	2020.01.26.05.26.22;	author rillig;	state Exp;
branches;
next	1.7;
commitid	uxXvYG0sFCxwZ9UB;

1.7
date	2020.01.18.23.30.24;	author rillig;	state Exp;
branches;
next	1.6;
commitid	shGUwZfkr7sleeTB;

1.6
date	2012.10.31.11.16.43;	author asau;	state Exp;
branches;
next	1.5;

1.5
date	2008.06.12.02.14.21;	author joerg;	state Exp;
branches;
next	1.4;

1.4
date	2006.03.14.20.23.07;	author kristerw;	state Exp;
branches;
next	1.3;

1.3
date	2005.06.16.06.57.45;	author jlam;	state Exp;
branches;
next	1.2;

1.2
date	2004.12.03.15.14.54;	author wiz;	state Exp;
branches;
next	1.1;

1.1
date	2003.12.31.00.04.19;	author kristerw;	state Exp;
branches
	1.1.1.1;
next	;

1.1.1.1
date	2003.12.31.00.04.19;	author kristerw;	state Exp;
branches;
next	;


desc
@@


1.10
log
@*: switch all sourceforge HOMEPAGEs to https
@
text
@# $NetBSD: Makefile,v 1.9 2023/12/15 13:49:37 wiz Exp $

DISTNAME=	buddy-2.4
CATEGORIES=	devel
MASTER_SITES=	${MASTER_SITE_SOURCEFORGE:=buddy/}

MAINTAINER=	pkgsrc-users@@NetBSD.org
HOMEPAGE=	https://buddy.sourceforge.net/
COMMENT=	Library for binary decision diagrams

USE_LIBTOOL=	yes
GNU_CONFIGURE=	yes
USE_LANGUAGES=	c c++

.include "../../mk/bsd.pkg.mk"
@


1.9
log
@*: reset MAINTAINER/OWNER for inactive developer
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.8 2020/01/26 05:26:22 rillig Exp $
d8 1
a8 1
HOMEPAGE=	http://buddy.sourceforge.net/
@


1.8
log
@all: migrate some SourceForge homepage URLs back from https to http

https://mail-index.netbsd.org/pkgsrc-changes/2020/01/18/msg205146.html

In the above commit, the homepage URLs were migrated from http to https,
assuming that SourceForge would use the same host names for both http and
https connections. This assumption was wrong. Their documentation at
https://sourceforge.net/p/forge/documentation/Custom%20VHOSTs/ states
that the https URLs use the domain sourceforge.io instead.

To make the homepages from the above commit reachable again, pkglint has
been extended to check for reachable homepages. This check is only
enabled when the --network command line option is given.

Each of the homepages that referred to https://$project.sourceforge.net
before was migrated to https://$project.sourceforge.io (27), and if that
was not reachable, to the fallback URL http://$project.sourceforge.net
(163).
@
text
@d1 1
a1 2
# $NetBSD: Makefile,v 1.7 2020/01/18 23:30:24 rillig Exp $
#
d7 1
a7 1
MAINTAINER=	kristerw@@NetBSD.org
@


1.7
log
@all: migrate several HOMEPAGEs to https

pkglint --only "https instead of http" -r -F

With manual adjustments afterwards since pkglint 19.4.4 fixed a few
indentations in unrelated lines.

This mainly affects projects hosted at SourceForce, as well as
freedesktop.org, CTAN and GNU.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.6 2012/10/31 11:16:43 asau Exp $
d9 1
a9 1
HOMEPAGE=	https://buddy.sourceforge.net/
@


1.6
log
@Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.5 2008/06/12 02:14:21 joerg Exp $
d9 1
a9 1
HOMEPAGE=	http://buddy.sourceforge.net/
@


1.5
log
@Add DESTDIR support.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.4 2006/03/14 20:23:07 kristerw Exp $
a11 2
PKG_DESTDIR_SUPPORT=	user-destdir

@


1.4
log
@Update buddy to 2.4.

The changes since last packaged version are only build related.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.3 2005/06/16 06:57:45 jlam Exp $
d12 2
@


1.3
log
@Create directories before installing files into them.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.2 2004/12/03 15:14:54 wiz Exp $
d4 1
a4 2
DISTNAME=	buddy22
PKGNAME=	buddy-2.2
d6 1
a6 1
MASTER_SITES=	http://www.itu.dk/research/buddy/
d9 1
a9 1
HOMEPAGE=	http://www.itu.dk/research/buddy/
d12 3
a14 12
MAKEFILE=	makefile
BUILD_TARGET=	buddy

INSTALLATION_DIRS=	include lib

do-install:
	${INSTALL_DATA} ${WRKSRC}/src/libbdd.a ${PREFIX}/lib
	${INSTALL_DATA}	${WRKSRC}/src/bdd.h ${WRKSRC}/src/fdd.h \
		${WRKSRC}/src/bvec.h ${PREFIX}/include
	${INSTALL_DATA_DIR} ${PREFIX}/share/doc/buddy
	${INSTALL_DATA} ${WRKSRC}/doc/*.ps ${WRKSRC}/doc/*.txt \
		${PREFIX}/share/doc/buddy
@


1.2
log
@Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.
Suggested by Roland Illig, ok'd by various.
@
text
@d1 1
a1 1
# $NetBSD: Makefile,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
d16 2
@


1.1
log
@Initial revision
@
text
@d1 1
a1 1
# $NetBSD$
d14 1
a14 1
ALL_TARGET=	buddy
@


1.1.1.1
log
@Initial import of buddy version 2.2.

The BuDDy Binary Decision Diagrams (BDD) library presented here was made
as part of a ph.d. project on model checking of finite state machines.
The library has evolved from a simple introduction to BDDs to a full blown
BDD package with all the standard BDD operations, reordering and a wealth
of documentation.
@
text
@@