71 lines
1.5 KiB
Makefile
71 lines
1.5 KiB
Makefile
COMMENT= proof assistant based on a typed lambda calculus
|
|
|
|
V= 8.13.2
|
|
GH_ACCOUNT = coq
|
|
GH_PROJECT = coq
|
|
GH_TAGNAME = V${V}
|
|
REVISION = 3
|
|
|
|
CATEGORIES= math
|
|
HOMEPAGE= https://coq.inria.fr/
|
|
|
|
MAINTAINER= Yozo Toda <yozo@v007.vaio.ne.jp>
|
|
|
|
USE_NOEXECONLY = Yes
|
|
|
|
# LGPL 2.1
|
|
PERMIT_PACKAGE= Yes
|
|
|
|
WANTLIB += atk-1.0 c cairo cairo-gobject fontconfig freetype gdk-3
|
|
WANTLIB += gdk_pixbuf-2.0 gio-2.0 glib-2.0 gmp gobject-2.0 gtk-3 gtksourceview-3.0
|
|
WANTLIB += harfbuzz intl m pango-1.0 pangocairo-1.0 pthread z
|
|
|
|
MODULES= lang/ocaml
|
|
|
|
BUILD_DEPENDS= x11/lablgtk3 \
|
|
math/ocaml-zarith \
|
|
shells/bash \
|
|
sysutils/findlib
|
|
RUN_DEPENDS= x11/lablgtk3
|
|
LIB_DEPENDS= devel/gmp
|
|
|
|
DESTDIRNAME= COQINSTALLPREFIX
|
|
|
|
USE_GMAKE= Yes
|
|
|
|
CONFIGURE_STYLE= simple
|
|
CONFIGURE_ARGS= -prefix ${PREFIX} \
|
|
-libdir ${PREFIX}/lib/ocaml/coq \
|
|
-mandir ${PREFIX}/man \
|
|
-configdir ${SYSCONFDIR}/xdg/coq
|
|
|
|
.include <bsd.port.arch.mk>
|
|
.if ${PROPERTIES:Mocaml_native}
|
|
ALL_TARGET= world
|
|
INSTALL_TARGET= install
|
|
.else
|
|
RUN_DEPENDS += math/ocaml-zarith
|
|
# Order is important!
|
|
ALL_TARGET= byte coq documentation \
|
|
bin/coqide coqide-files theories/Init/Prelude.vo
|
|
INSTALL_TARGET= install-coq install-byte install-meta
|
|
.endif
|
|
|
|
TEST_ENV= VERBOSE=1
|
|
TEST_TARGET= check
|
|
|
|
do-build:
|
|
ulimit -Ss 8192 && \
|
|
cd ${WRKSRC} && \
|
|
env -i ${MAKE_ENV} ${MAKE_PROGRAM} ${MAKE_FLAGS} \
|
|
-f ${MAKE_FILE} ${ALL_TARGET}
|
|
|
|
post-install:
|
|
${INSTALL_DATA_DIR} \
|
|
${PREFIX}/share/doc/coq/
|
|
${INSTALL_DATA} \
|
|
${WRKDIST}/{LICENSE,CREDITS,CONTRIBUTING.md,README.md} \
|
|
${PREFIX}/share/doc/coq/
|
|
|
|
.include <bsd.port.mk>
|