Return to Makefile CVS log

Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

Annotation of pkgsrc/lang/coq/Makefile, Revision 1.57

1.57    ! jperkin     1: # $NetBSD: Makefile,v 1.56 2013/01/29 05:46:42 wiz Exp $
1.1       kristerw    2: #
                      3:
1.54      jaapb       4: DISTNAME=      coq-8.4pl1
1.57    ! jperkin     5: PKGREVISION=   2
1.1       kristerw    6: CATEGORIES=    lang math
1.56      wiz         7: MASTER_SITES=  http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
1.1       kristerw    8:
1.51      jaapb       9: MAINTAINER=    jaapb@NetBSD.org
1.1       kristerw   10: HOMEPAGE=      http://coq.inria.fr/
                     11: COMMENT=       Theorem prover which extracts programs from proofs
1.27      tonio      12: LICENSE=       gnu-lgpl-v2.1
1.1       kristerw   13:
1.10      jlam       14: USE_TOOLS+=            gmake
1.52      jaapb      15: HAS_CONFIGURE=         yes
1.1       kristerw   16: CONFIGURE_ARGS+=       -prefix ${PREFIX}
                     17: CONFIGURE_ARGS+=       -emacslib ${PREFIX}/share/emacs/site-lisp
1.51      jaapb      18: CONFIGURE_ARGS+=       -mandir ${PREFIX}/${PKGMANDIR}
                     19: CONFIGURE_ARGS+=       -configdir ${PKG_SYSCONFDIR}/xdg/coq
1.52      jaapb      20: CONFIGURE_ARGS+=       -docdir ${PREFIX}/share/doc/coq
                     21: CONFIGURE_ARGS+=       -coqdocdir ${PREFIX}/share/texmf/tex/latex/coq
1.8       adrianp    22: BUILD_TARGET=          world
                     23:
1.23      tonio      24: BUILDLINK_API_DEPENDS.ocaml+=  ocaml>=3.10
1.1       kristerw   25:
                     26: .include "../../mk/bsd.prefs.mk"
                     27:
1.8       adrianp    28: .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \
1.51      jaapb      29:     (${MACHINE_ARCH} == "sparc") || (${MACHINE_ARCH} == "x86_64") || \
                     30:     (${MACHINE_ARCH} == "arm")
                     31: PLIST.opt=     yes
1.52      jaapb      32: PLIST_SUBST+=  COQIDE_TYPE="opt"
1.51      jaapb      33: .else
1.52      jaapb      34: PLIST_SUBST+=  COQIDE_TYPE="byte"
1.1       kristerw   35: .endif
                     36:
1.27      tonio      37: .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64")
                     38: .  if !empty(MACHINE_PLATFORM:MLinux-*-*) || \
1.35      marino     39:       !empty(MACHINE_PLATFORM:MDragonFly-*-*) || \
1.34      dholland   40:       !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \
                     41:       !empty(MACHINE_PLATFORM:MNetBSD-*-*)
1.51      jaapb      42: PLIST.natdynlink=      yes
1.27      tonio      43: .  endif
                     44: .endif
                     45:
1.8       adrianp    46: .if ${OPSYS} == "Darwin"
1.15      tonio      47: INSTALL_UNSTRIPPED=    yes
1.8       adrianp    48: # See PR# 28772 as the above should work but it appears to be ignored
                     49: # so we set it explicitly below not to stip installed binaries.
                     50: _STRIPFLAG_CC=
                     51: _STRIPFLAG_INSTALL=
                     52: .endif
                     53:
1.23      tonio      54: REPLACE_SH=    configure install.sh
1.27      tonio      55: INSTALL_ENV+=  COQINSTALLPREFIX=${DESTDIR}
1.23      tonio      56:
1.52      jaapb      57: PLIST_VARS=            coqide opt natdynlink doc
                     58:
                     59: .include "options.mk"
1.15      tonio      60:
1.51      jaapb      61: EGDIR=         ${PREFIX}/share/coq/examples
                     62: CONF_FILES=    ${EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc
                     63:
1.8       adrianp    64: .include "../../mk/pthread.buildlink3.mk"
1.4       snj        65: .include "../../lang/ocaml/buildlink3.mk"
1.18      tonio      66: .include "../../lang/camlp5/buildlink3.mk"
1.1       kristerw   67: .include "../../mk/bsd.pkg.mk"