64 lines
1.7 KiB
Makefile
64 lines
1.7 KiB
Makefile
# $OpenBSD: Makefile,v 1.18 2013/01/04 11:07:28 chrisz Exp $
|
|
|
|
COMMENT= proof assistant based on a typed lambda calculus
|
|
|
|
DISTNAME= coq-8.4
|
|
CATEGORIES= math
|
|
HOMEPAGE= http://coq.inria.fr/
|
|
|
|
MAINTAINER= Yozo Toda <yozo@v007.vaio.ne.jp>
|
|
|
|
# LGPL 2.1
|
|
PERMIT_PACKAGE_CDROM= Yes
|
|
PERMIT_PACKAGE_FTP= Yes
|
|
PERMIT_DISTFILES_CDROM= Yes
|
|
PERMIT_DISTFILES_FTP= Yes
|
|
|
|
WANTLIB += GL X11 Xcomposite Xcursor Xdamage Xext Xfixes Xi Xinerama
|
|
WANTLIB += Xrandr Xrender atk-1.0 c cairo expat fontconfig freetype
|
|
WANTLIB += gdk-x11-2.0 gdk_pixbuf-2.0 gio-2.0 glib-2.0 gobject-2.0
|
|
WANTLIB += gtk-x11-2.0 iconv intl m pango-1.0 pangocairo-1.0
|
|
WANTLIB += pangoft2-1.0 pixman-1 png pthread pthread-stubs
|
|
WANTLIB += xcb xcb-render xcb-shm z
|
|
|
|
MASTER_SITES= http://pauillac.inria.fr/~herbelin/coq/distrib/V8.4/files/
|
|
|
|
RUN_DEPENDS= x11/lablgtk2
|
|
BUILD_DEPENDS= ${RUN_DEPENDS}
|
|
|
|
DESTDIRNAME= COQINSTALLPREFIX
|
|
|
|
USE_GMAKE= Yes
|
|
USE_GROFF= Yes
|
|
|
|
MODULES= lang/ocaml
|
|
|
|
CONFIGURE_STYLE= simple
|
|
CONFIGURE_ARGS= -emacslib ${PREFIX}/share/emacs/site-lisp \
|
|
-makecmd ${GMAKE} \
|
|
-prefix ${PREFIX} \
|
|
-mandir ${PREFIX}/man \
|
|
-configdir ${SYSCONFDIR}/xdg/coq \
|
|
-usecamlp4 \
|
|
|
|
.include <bsd.port.arch.mk>
|
|
.if ${PROPERTIES:Mocaml_native_dynlink}
|
|
CONFIGURE_ARGS+= -opt
|
|
.else
|
|
CONFIGURE_ARGS+= -byteonly
|
|
.endif
|
|
|
|
ALL_TARGET= world
|
|
# Order is important!
|
|
INSTALL_TARGET= install-byte install-ide-byte install
|
|
REGRESS_TARGET= check
|
|
|
|
post-install:
|
|
cd ${WRKDIST}; ${INSTALL_DATA} LICENSE COPYRIGHT CREDITS CHANGES \
|
|
COMPATIBILITY ${PREFIX}/share/doc/coq/
|
|
${INSTALL_DATA_DIR} ${PREFIX}/share/examples/coq/
|
|
mv ${WRKINST}${SYSCONFDIR}/xdg/coq/* ${PREFIX}/share/examples/coq/
|
|
rmdir ${WRKINST}${SYSCONFDIR}/xdg/coq/ ${WRKINST}${SYSCONFDIR}/xdg/
|
|
|
|
.include <bsd.port.mk>
|