Changeset View
Changeset View
Standalone View
Standalone View
math/coq/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= coq | PORTNAME= coq | ||||
PORTVERSION= 8.6 | PORTVERSION= 8.6 | ||||
PORTREVISION= 1 | PORTREVISION= 2 | ||||
PORTEPOCH= 3 | PORTEPOCH= 3 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ | MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ | ||||
ftp://ftp.stack.nl/pub/users/johans/coq/ | ftp://ftp.stack.nl/pub/users/johans/coq/ | ||||
PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} | |||||
MAINTAINER= hrs@FreeBSD.org | MAINTAINER= hrs@FreeBSD.org | ||||
COMMENT= Theorem prover based on lambda-C | COMMENT= Theorem prover based on lambda-C | ||||
LICENSE= LGPL21 | LICENSE= LGPL21 | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE | LICENSE_FILE= ${WRKSRC}/LICENSE | ||||
BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") | |||||
BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") | |||||
BROKEN_powerpc= fails to link | |||||
BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ | BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ | ||||
ocamlfind:devel/ocaml-findlib | ocamlfind:devel/ocaml-findlib | ||||
LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ | LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ | ||||
libfreetype.so:print/freetype2 | libfreetype.so:print/freetype2 | ||||
BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") | |||||
BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") | |||||
BROKEN_powerpc= fails to link | |||||
USES= gmake gettext-runtime | USES= gmake gettext-runtime | ||||
USE_EMACS= yes | USE_EMACS= yes | ||||
USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango | USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango | ||||
USE_LDCONFIG= ${PREFIX}/lib/coq | USE_LDCONFIG= ${PREFIX}/lib/coq | ||||
USE_OCAML= yes | USE_OCAML= yes | ||||
HAS_CONFIGURE= yes | HAS_CONFIGURE= yes | ||||
CONFIGURE_ARGS= -prefix ${PREFIX} \ | CONFIGURE_ARGS= -prefix ${PREFIX} \ | ||||
-mandir ${PREFIX}/man \ | -mandir ${PREFIX}/man \ | ||||
-emacslib ${PREFIX}/share/emacs/site-lisp/coq \ | -emacslib ${PREFIX}/share/emacs/site-lisp/coq \ | ||||
-usecamlp5 \ | -usecamlp5 \ | ||||
-byteonly | -byteonly | ||||
MAKE_ENV= VERBOSE=1 | MAKE_ENV= VERBOSE=1 | ||||
ALL_TARGET= world | ALL_TARGET= world | ||||
Show All 26 Lines |