diff options
Diffstat (limited to 'math/coq/Makefile')
| -rw-r--r-- | math/coq/Makefile | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile new file mode 100644 index 000000000000..4219e9197363 --- /dev/null +++ b/math/coq/Makefile @@ -0,0 +1,46 @@ +# New ports collection makefile for: coq +# Date created: 2004-10-11 +# Whom: Rene Ladan <r.c.ladan@student.tue.nl> +# +# $FreeBSD$ +# + +PORTNAME= coq +PORTVERSION= 8.0 +CATEGORIES= math +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ +DISTNAME= coq-8.0pl1 + +PATCH_SITES= ${MASTER_SITES} +#Ports has Ocaml 3.08.1 : +PATCHFILES= patch-coq-8.0pl1-ocaml-3.08.1 + +MAINTAINER= r.c.ladan@student.tue.nl +COMMENT= Theorem prover based on lambda-C + +BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml + +USE_GMAKE= yes + +HAS_CONFIGURE= yes +CONFIGURE_ARGS= --prefix ${PREFIX} +CONFIGURE_ARGS+= --emacslib ${PREFIX}/share/emacs/site-lisp +CONFIGURE_ARGS+= --reals all +CONFIGURE_ARGS+= --opt + +ALL_TARGET= world +#no lablgl2 in ports yet + +MAN1= coq-interface.1 coq-tex.1 coq_makefile.1 coqc.1 coqdep.1 \ + coqdoc.1 coqmktop.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 \ + coqwc.1 parser.1 gallina.1 + +post-install: +.if !defined(NOPORTDOCS) + -@${MKDIR} ${DOCSDIR} +.for i in CHANGES COPYRIGHT CREDITS INSTALL LICENSE README + @${INSTALL_DATA} ${WRKSRC}/${i} ${DOCSDIR} +.endfor +.endif + +.include <bsd.port.mk> |