kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/devel/buddy/Makefile

17 lines
358 B
Makefile
Raw Normal View History

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).
2020-01-26 06:26:08 +01:00
# $NetBSD: Makefile,v 1.8 2020/01/26 05:26:22 rillig Exp $
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.
2003-12-31 01:04:19 +01:00
#
Update buddy to 2.4. The changes since last packaged version are only build related.
2006-03-14 21:23:07 +01:00
DISTNAME= buddy-2.4
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.
2003-12-31 01:04:19 +01:00
CATEGORIES= devel
Update buddy to 2.4. The changes since last packaged version are only build related.
2006-03-14 21:23:07 +01:00
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=buddy/}
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.
2003-12-31 01:04:19 +01:00
MAINTAINER= kristerw@NetBSD.org
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).
2020-01-26 06:26:08 +01:00
HOMEPAGE= http://buddy.sourceforge.net/
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.
2003-12-31 01:04:19 +01:00
COMMENT= Library for binary decision diagrams
Update buddy to 2.4. The changes since last packaged version are only build related.
2006-03-14 21:23:07 +01:00
USE_LIBTOOL= yes
GNU_CONFIGURE= yes
USE_LANGUAGES= c c++
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.
2003-12-31 01:04:19 +01:00
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink