64 lines
1.7 KiB
Makefile
64 lines
1.7 KiB
Makefile
# $OpenBSD: Makefile,v 1.6 2002/12/18 09:40:07 sturm Exp $
|
|
|
|
COMMENT= "proof assistant based on a typed lambda calculus"
|
|
|
|
DISTNAME= coq-7.3.1
|
|
CATEGORIES= math
|
|
HOMEPAGE= http://coq.inria.fr/
|
|
|
|
MAINTAINER= Yozo Toda <yozo@v007.vaio.ne.jp>
|
|
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
|
|
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.3.1/
|
|
MASTER_SITES0= ${MASTER_SITES:S@$@doc/@}
|
|
MASTER_SITES1= http://coq.inria.fr/
|
|
MASTER_SITES2= http://coq.inria.fr/ps/
|
|
DISTFILES= ${DISTNAME}.tar.gz \
|
|
doc-html.tar.gz:0 \
|
|
Changes.html:0 \
|
|
Reference-Manual-all.ps.gz:0 \
|
|
library.tar.gz:1 \
|
|
RecTutorial.v.ps:2
|
|
|
|
IGNOREFILES= doc-html.tar.gz
|
|
|
|
DIST_SUBDIR= coq
|
|
EXTRACT_ONLY= ${DISTNAME}.tar.gz \
|
|
doc-html.tar.gz \
|
|
library.tar.gz \
|
|
|
|
FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST}
|
|
|
|
USE_GMAKE= Yes
|
|
|
|
MODULES= ocaml
|
|
|
|
CONFIGURE_STYLE= simple
|
|
CONFIGURE_ARGS= -prefix ${PREFIX} \
|
|
-emacslib ${PREFIX}/share/emacs/site-lisp \
|
|
${MODOCAML_NATIVE:S/Yes/-opt/:S/No/-byteonly/}
|
|
|
|
ALL_TARGET= world
|
|
REGRESS_TARGET= check
|
|
|
|
COQ_DOCHTMLFILES= Changes.html
|
|
COQ_DOCPSFILES= RecTutorial.v.ps Reference-Manual-all.ps.gz
|
|
|
|
post-install:
|
|
@${INSTALL_DATA_DIR} ${PREFIX}/share/doc/coq/html/library
|
|
@${INSTALL_DATA} ${WRKDIR}/coq-docs-html/* ${PREFIX}/share/doc/coq/html
|
|
@${INSTALL_DATA} ${WRKDIR}/library/* ${PREFIX}/share/doc/coq/html/library
|
|
@for ff in ${COQ_DOCHTMLFILES} ; do \
|
|
${INSTALL_DATA} ${FULLDISTDIR}/$${ff} ${PREFIX}/share/doc/coq/html ; \
|
|
done
|
|
@${INSTALL_DATA_DIR} ${PREFIX}/share/doc/coq/ps
|
|
@for ff in ${COQ_DOCPSFILES} ; do \
|
|
${INSTALL_DATA} ${FULLDISTDIR}/$${ff} ${PREFIX}/share/doc/coq/ps ; \
|
|
done
|
|
|
|
.include <bsd.port.mk>
|