diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-16 16:45:35 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-16 16:45:35 +0000 |
| commit | cddacdc1a85e239682053f3716b7c685f422ebf4 (patch) | |
| tree | 62ec5ad5c85e69fd9755b85db994f8c7042a1fc0 /math/isabelle | |
| parent | 1f7b0d3e1b562bcd76f89ebdbd346571511c07c0 (diff) | |
| download | ports-cddacdc1a85e239682053f3716b7c685f422ebf4.tar.gz ports-cddacdc1a85e239682053f3716b7c685f422ebf4.zip | |
Convert to new perl framework
Convert USE_GMAKE to USES
Notes
Notes:
svn path=/head/; revision=327414
Diffstat (limited to 'math/isabelle')
| -rw-r--r-- | math/isabelle/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index 26ebb87e036b..1d196217b4ab 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -29,7 +29,7 @@ HOL_TLA_DESC= Build optional heap: TLA HOL_HOL4_DESC= Build optional heap: HOL4 EMACS_PKG_DESC= Build with Emacs Packages -USE_PERL5= yes +USES= perl5 .include <bsd.port.options.mk> @@ -39,10 +39,10 @@ DISTFILES= ${DISTNAME}.tar.gz \ .endif .if ${PORT_OPTIONS:MEMACS_PKG} - USE_EMACS= yes # for EMACS_SITE_LISPDIR - EMACS_NO_BUILD_DEPENDS=yes - EMACS_NO_RUN_DEPENDS=yes - RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral +USE_EMACS= yes # for EMACS_SITE_LISPDIR +EMACS_NO_BUILD_DEPENDS=yes +EMACS_NO_RUN_DEPENDS=yes +RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral .else .endif |