cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- tweak MASTER_SITES

Browse Source
This commit is contained in:
jasper 2011-06-29 18:11:25 +00:00
parent e2d74a71a6
commit 6e4ac2d1c5
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/prover9/Makefile.inc
View File

@ -1,8 +1,8 @@
# $OpenBSD: Makefile.inc,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
# $OpenBSD: Makefile.inc,v 1.2 2011/06/29 18:11:25 jasper Exp $
CATEGORIES ?= math
HOMEPAGE ?= http://www.cs.unm.edu/~mccune/prover9/
HOMEPAGE ?= http://www.cs.unm.edu/%7Emccune/prover9/
# GPLv2
PERMIT_PACKAGE_CDROM= Yes

4
math/prover9/ladr/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.2 2011/06/08 17:36:01 jasper Exp $
# $OpenBSD: Makefile,v 1.3 2011/06/29 18:11:25 jasper Exp $
COMMENT= Library for Automated Deduction Research
@ -6,7 +6,7 @@ DISTNAME= LADR-Dec-2007
PKGNAME= ${DISTNAME:L:S/-Dec//}
REVISION = 0
MASTER_SITES= http://www.cs.unm.edu/%7Emccune/prover9/download/
MASTER_SITES= ${HOMEPAGE}/download/
WANTLIB += c m

4
math/prover9/p9m4/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.2 2011/06/08 17:36:01 jasper Exp $
# $OpenBSD: Makefile,v 1.3 2011/06/29 18:11:25 jasper Exp $
COMMENT= prover9/mace4 GUI
@ -6,7 +6,7 @@ DISTNAME= p9m4-v05
PKGNAME= ${DISTNAME:S/v//}
REVISION = 0
MASTER_SITES= http://www.cs.unm.edu/%7Emccune/prover9/gui/
MASTER_SITES= ${HOMEPAGE}/gui/
CONFIGURE_STYLE= # empty