lang/coq/Makefile

   1 # $NetBSD$
   2 #
   3
   4 DISTNAME=       coq-8.3pl1
   5 PKGREVISION=    14
   6 CATEGORIES=     lang math
   7 MASTER_SITES=   http://coq.inria.fr/distrib/V8.3pl1/files/
   8
   9 MAINTAINER=     richards+netbsd@CS.Princeton.EDU
  10 HOMEPAGE=       http://coq.inria.fr/
  11 COMMENT=        Theorem prover which extracts programs from proofs
  12 LICENSE=        gnu-lgpl-v2.1
  13
  14 PKG_DESTDIR_SUPPORT=    user-destdir
  15
  16 USE_TOOLS+=             gmake
  17 HAS_CONFIGURE=          YES
  18 CONFIGURE_ARGS+=        -prefix ${PREFIX}
  19 CONFIGURE_ARGS+=        -emacslib ${PREFIX}/share/emacs/site-lisp
  20 BUILD_TARGET=           world
  21
  22 BUILDLINK_API_DEPENDS.ocaml+=   ocaml>=3.10
  23
  24 .include "../../mk/bsd.prefs.mk"
  25
  26 .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \
  27         (${MACHINE_ARCH} == "sparc") || (${MACHINE_ARCH} == "x86_64")
  28 PLIST_SRC=      ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST
  29 .endif
  30
  31 .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64")
  32 .  if !empty(MACHINE_PLATFORM:MLinux-*-*) || \
  33       !empty(MACHINE_PLATFORM:MDragonFly-*-*) || \
  34       !empty(MACHINE_PLATFORM:MFreeBSD-*-*) || \
  35       !empty(MACHINE_PLATFORM:MNetBSD-*-*)
  36 PLIST_SRC+=     ${PKGDIR}/PLIST.natdynlink
  37 .  endif
  38 .endif
  39
  40 .if ${OPSYS} == "Darwin"
  41 INSTALL_UNSTRIPPED=     yes
  42 # See PR# 28772 as the above should work but it appears to be ignored
  43 # so we set it explicitly below not to stip installed binaries.
  44 _STRIPFLAG_CC=
  45 _STRIPFLAG_INSTALL=
  46 .endif
  47
  48 REPLACE_SH=     configure install.sh
  49 INSTALL_ENV+=   COQINSTALLPREFIX=${DESTDIR}
  50
  51 PLIST_VARS=             coqide
  52 PKG_OPTIONS_VAR=        PKG_OPTIONS.coq
  53 PKG_SUPPORTED_OPTIONS=  coqide
  54 .include "../../mk/bsd.options.mk"
  55 .if !empty(PKG_OPTIONS:Mcoqide)
  56 .include "../../x11/lablgtk/buildlink3.mk"
  57 .include "../../x11/gtk2/buildlink3.mk"
  58 PLIST.coqide=           yes
  59 .endif
  60
  61 .include "../../mk/pthread.buildlink3.mk"
  62 .include "../../lang/ocaml/buildlink3.mk"
  63 .include "../../lang/camlp5/buildlink3.mk"
  64 .include "../../mk/bsd.pkg.mk"