mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
Code Issues Releases Activity

- Due to depency updates, camlp5 (fresh port) is now required as well:

Browse Source 
Include this dependency and bump portrevision
This commit is contained in:
Johan van Selst 2008-04-16 22:10:53 +00:00
parent fadb53def1
commit f5a5f98bee
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=211402
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/coq/Makefile
View File

@ -7,6 +7,7 @@
PORTNAME= coq
PORTVERSION= 8.1.3
PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://coq.inria.fr/V${COQVERSION}/files/ \
ftp://ftp.stack.nl/pub/users/johans/coq/
@ -15,6 +16,8 @@ DISTNAME= ${PORTNAME}-${COQVERSION}
MAINTAINER= johans@stack.nl
COMMENT= Theorem prover based on lambda-C
BUILD_DEPENDS= camlp5:${PORTSDIR}/devel/ocaml-camlp5
USE_OCAML= yes
USE_GMAKE= yes
ALL_TARGET= world