-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I'm trying to update coq port but have a problem.
revising Makefile as attached, intending to work as
- FLAVOR "native" or "bytecodeonly" when specified
- FLAVOR choosed automatically when not specified
I expect FLAVOR choosed as native on i386 architecture,
but WRKDIR does not reflect FLAVOR (directory "w-coq-8.0pl2" created),
and facing an error and stop on 'make package' step
/bin/sh: cannot create
/usr/ports/mystuff/math/coq/8.0pl2/w-coq-8.0pl2-native/pkg/DESCR.tmp: No such
file or directory
which means that FLAVOR is treated as native.
How should I implement my intention?
Coq depends on lang/ocaml, and Ocaml has two compilers, bytecode compiler
and native code compiler.
Depending on architectures, Ocaml may have two compilers or
bytecode compiler only.
When you have both bytecode and native code compilers,
You can choose to compile Coq in bytecode only or native code mode.
My intention is to provide a chance to select FLAVOR when
two ocaml compilers available...
- -- yozo.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (OpenBSD)
iD8DBQFDFVdwZ4p6/RnkWLkRArTzAJ9d6Z0ifnC/LPBtg6Or4sTwRHyvKwCgnHsQ
CYTy1F9W9X5j7DufseGAzEI=
=fKzY
-----END PGP SIGNATURE-----
# $OpenBSD$
COMMENT= "proof assistant based on a typed lambda calculus"
COMMENT-docs= "documents for coq package"
MULTI_PACKAGES= -docs
VERSION= 8.0pl2
DISTNAME= coq-${VERSION}
PKGNAME= ${DISTNAME}
PKGNAME-docs= coq-docs-${VERSION}
CATEGORIES= math
HOMEPAGE= http://coq.inria.fr/
MAINTAINER= Yozo Toda <[EMAIL PROTECTED]>
PERMIT_PACKAGE_CDROM= Yes
PERMIT_PACKAGE_FTP= Yes
PERMIT_DISTFILES_CDROM= Yes
PERMIT_DISTFILES_FTP= Yes
WANTLIB= c curses m pthread
MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V${VERSION}/
MASTER_SITES0= ${MASTER_SITES:[EMAIL PROTECTED]@doc/@}
MASTER_SITES1= ${HOMEPAGE}
MASTER_SITES3= http://www.labri.fr/Perso/~casteran/
DISTFILES= ${DISTNAME}.tar.gz \
doc-html.tar.gz:0 \
Changes.html:0 \
Reference-Manual.pdf.gz:0 \
syntax-v8.pdf:0 \
Translator.pdf:0 \
Tutorial.pdf.gz:0 \
library-${VERSION}.tar.gz:0 \
RecTutorial.pdf:3 \
contrib-${VERSION}.tar.gz
DIST_SUBDIR= coq
EXTRACT_ONLY= ${DISTNAME}.tar.gz \
doc-html.tar.gz
USE_GMAKE= Yes
MODULES= lang/ocaml
CONFIGURE_STYLE= simple
CONFIGURE_ARGS= -prefix ${PREFIX} \
-emacslib ${PREFIX}/share/emacs/site-lisp \
${MODOCAML_NATIVE:S/Yes/-opt/:S/No/-byteonly/} \
-reals all
FLAVORS= bytecodeonly native
FLAVOR?= ${MODOCAML_NATIVE:S/Yes/native/:S/No/bytecodeonly/}
ALL_TARGET= world
FAKE_FLAGS= COQINSTALLPREFIX=${WRKINST}
REGRESS_TARGET= check
COQ_DOCFILES= Changes.html \
RecTutorial.pdf \
Reference-Manual.pdf.gz \
syntax-v8.pdf \
Translator.pdf \
Tutorial.pdf.gz
COQ_CONTRIB= contrib-${VERSION}.tar.gz
post-extract:
@echo "now extracting library documents..."
@cd ${WRKDIR} && tar zxf ${FULLDISTDIR}/library-${VERSION}.tar.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-${VERSION}/*
${PREFIX}/share/doc/coq/html/library
@for ff in ${COQ_DOCFILES} ; do \
${INSTALL_DATA} ${FULLDISTDIR}/$${ff} ${PREFIX}/share/doc/coq ; \
done
.include <bsd.port.mk>
