Return to Makefile CVS log

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

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

1.93    ! jaapb       1: # $NetBSD: Makefile,v 1.92 2016/12/04 05:17:31 ryoon Exp $
1.1       kristerw    2: #
                      3:
1.93    ! jaapb       4: DISTNAME=      coq-8.6
1.1       kristerw    5: CATEGORIES=    lang math
1.56      wiz         6: MASTER_SITES=  http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
1.1       kristerw    7:
1.51      jaapb       8: MAINTAINER=    jaapb@NetBSD.org
1.1       kristerw    9: HOMEPAGE=      http://coq.inria.fr/
                     10: COMMENT=       Theorem prover which extracts programs from proofs
1.27      tonio      11: LICENSE=       gnu-lgpl-v2.1
1.1       kristerw   12:
1.10      jlam       13: USE_TOOLS+=            gmake
1.52      jaapb      14: HAS_CONFIGURE=         yes
1.1       kristerw   15: CONFIGURE_ARGS+=       -prefix ${PREFIX}
                     16: CONFIGURE_ARGS+=       -emacslib ${PREFIX}/share/emacs/site-lisp
1.51      jaapb      17: CONFIGURE_ARGS+=       -mandir ${PREFIX}/${PKGMANDIR}
                     18: CONFIGURE_ARGS+=       -configdir ${PKG_SYSCONFDIR}/xdg/coq
1.52      jaapb      19: CONFIGURE_ARGS+=       -docdir ${PREFIX}/share/doc/coq
1.69      minskim    20: CONFIGURE_ARGS+=       -coqdocdir ${PREFIX}/share/texmf-dist/tex/latex/coq
1.8       adrianp    21: BUILD_TARGET=          world
                     22:
1.23      tonio      23: BUILDLINK_API_DEPENDS.ocaml+=  ocaml>=3.10
1.1       kristerw   24:
                     25: .include "../../mk/bsd.prefs.mk"
1.77      jaapb      26: .include "../../mk/ocaml.mk"
1.1       kristerw   27:
1.77      jaapb      28: .if ${OCAML_USE_OPT_COMPILER} == "yes"
1.52      jaapb      29: PLIST_SUBST+=  COQIDE_TYPE="opt"
1.51      jaapb      30: .else
1.52      jaapb      31: PLIST_SUBST+=  COQIDE_TYPE="byte"
1.1       kristerw   32: .endif
                     33:
1.27      tonio      34: .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64")
                     35: .  if !empty(MACHINE_PLATFORM:MLinux-*-*) || \
1.35      marino     36:       !empty(MACHINE_PLATFORM:MDragonFly-*-*) || \
1.34      dholland   37:       !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \
1.70      tonio      38:       !empty(MACHINE_PLATFORM:MDarwin-*-*) || \
1.34      dholland   39:       !empty(MACHINE_PLATFORM:MNetBSD-*-*)
1.51      jaapb      40: PLIST.natdynlink=      yes
1.27      tonio      41: .  endif
                     42: .endif
                     43:
1.23      tonio      44: REPLACE_SH=    configure install.sh
1.27      tonio      45: INSTALL_ENV+=  COQINSTALLPREFIX=${DESTDIR}
1.23      tonio      46:
1.77      jaapb      47: PLIST_VARS+=           coqide natdynlink doc
1.52      jaapb      48:
                     49: .include "options.mk"
1.15      tonio      50:
1.51      jaapb      51: EGDIR=         ${PREFIX}/share/coq/examples
1.85      jaapb      52: #CONF_FILES=   {EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc
1.51      jaapb      53:
1.90      jaapb      54: SUBST_CLASSES+=        fix-paths
                     55: SUBST_STAGE.fix-paths= post-configure
                     56: SUBST_MESSAGE.fix-paths=       Remove buildlink references from Coq_config module
                     57: SUBST_FILES.fix-paths= config/coq_config.ml
                     58: SUBST_SED.fix-paths=   -e "s,${BUILDLINK_DIR},${PREFIX},g"
                     59:
1.8       adrianp    60: .include "../../mk/pthread.buildlink3.mk"
1.1       kristerw   61: .include "../../mk/bsd.pkg.mk"