diff options
Diffstat (limited to 'math/proofgeneral')
-rw-r--r-- | math/proofgeneral/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 16ba4b39cd66..c053883a05b6 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -48,6 +48,7 @@ EMACS_PORT_NAME=emacs21 .include "${PORTSDIR}/Mk/bsd.emacs.mk" MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} +USE_EMACS= yes USE_GMAKE= yes USE_PERL5= yes USE_REINPLACE= yes |