2002-09-07 19:43:09 -04:00
|
|
|
# $OpenBSD: Makefile,v 1.4 2002/09/07 23:43:09 naddy Exp $
|
2001-09-22 10:24:31 -04:00
|
|
|
|
|
|
|
|
COMMENT= "proof assistant based on a typed lambda calculus"
|
|
|
|
|
|
|
|
|
|
DISTNAME= coq-7.0
|
|
|
|
|
CATEGORIES= math
|
|
|
|
|
HOMEPAGE= http://coq.inria.fr/
|
|
|
|
|
|
2002-01-31 15:41:38 -05:00
|
|
|
MAINTAINER= Yozo Toda <yozo@v007.vaio.ne.jp>
|
2001-09-22 10:24:31 -04:00
|
|
|
|
|
|
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
|
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
|
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
|
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
|
|
|
|
2002-01-31 15:41:38 -05:00
|
|
|
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.0/
|
2001-09-22 10:24:31 -04:00
|
|
|
MASTER_SITES0= ${MASTER_SITES:S@$@doc/@}
|
|
|
|
|
DISTFILES= ${DISTNAME}.tar.gz \
|
|
|
|
|
doc-html.tar.gz:0 \
|
|
|
|
|
all-ps-docs.tar.gz:0
|
|
|
|
|
DIST_SUBDIR= coq
|
|
|
|
|
|
2002-09-07 19:43:09 -04:00
|
|
|
BUILD_DEPENDS= ::lang/ocaml
|
2001-09-22 10:24:31 -04:00
|
|
|
|
|
|
|
|
FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST}
|
|
|
|
|
|
|
|
|
|
USE_GMAKE= Yes
|
|
|
|
|
|
|
|
|
|
CONFIGURE_STYLE= simple
|
|
|
|
|
## add -opt option if there is ocamlc.opt.
|
|
|
|
|
CONFIGURE_ARGS= -prefix ${PREFIX} \
|
|
|
|
|
-emacslib ${PREFIX}/share/emacs/site-lisp ## -opt
|
|
|
|
|
|
|
|
|
|
ALL_TARGET= world
|
|
|
|
|
|
|
|
|
|
COQ_DOCPSFILES= Changes.ps Library.ps Tutorial.ps \
|
|
|
|
|
Reference-Manual-addendum.ps Reference-Manual-base.ps
|
|
|
|
|
|
|
|
|
|
post-install:
|
|
|
|
|
@${INSTALL_DATA_DIR} ${PREFIX}/share/doc/coq/html
|
|
|
|
|
@${INSTALL_DATA} ${WRKDIR}/coq-docs-html/* ${PREFIX}/share/doc/coq/html
|
|
|
|
|
@${INSTALL_DATA_DIR} ${PREFIX}/share/doc/coq/ps
|
|
|
|
|
@for ff in ${COQ_DOCPSFILES} ; do \
|
|
|
|
|
${INSTALL_DATA} ${WRKDIR}/$${ff} ${PREFIX}/share/doc/coq/ps ; \
|
|
|
|
|
done
|
|
|
|
|
@strip ${PREFIX}/bin/*
|
|
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
