diff options
| author | johans <johans@FreeBSD.org> | 2008-04-07 01:40:47 +0800 |
|---|---|---|
| committer | johans <johans@FreeBSD.org> | 2008-04-07 01:40:47 +0800 |
| commit | 0a041d201124605f73e2000eef07d80d9bc6b5b4 (patch) | |
| tree | 8c303552e4f5ba833f5fc2f08cc18d8eae6e5bee /math/coq/Makefile | |
| parent | e443d70e3c0e17d031380d1f21d6086a0097eab6 (diff) | |
| download | freebsd-ports-gnome-0a041d201124605f73e2000eef07d80d9bc6b5b4.tar.gz freebsd-ports-gnome-0a041d201124605f73e2000eef07d80d9bc6b5b4.tar.zst freebsd-ports-gnome-0a041d201124605f73e2000eef07d80d9bc6b5b4.zip | |
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Diffstat (limited to 'math/coq/Makefile')
| -rw-r--r-- | math/coq/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index ac818b28428b..0ff77786ee2c 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,17 +6,16 @@ # PORTNAME= coq -PORTVERSION= 8.1.1 +PORTVERSION= 8.1.3 CATEGORIES= math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V${COQVERSION}/ \ +MASTER_SITES= http://coq.inria.fr/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@stack.nl COMMENT= Theorem prover based on lambda-C -BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml - +USE_OCAML= yes USE_GMAKE= yes ALL_TARGET= world WITH_IDE= yes |