sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-24 23:16:33 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Push the DOCS test into the right section

Browse source
This commit is contained in:
Baptiste Daroussin 2013-06-05 14:12:59 +00:00
parent f0a27c9d1e
commit 1d99007bdd
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=319994
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
math/isabelle/Makefile
View file

@ -8,10 +8,6 @@ MASTER_SITES= http://isabelle.in.tum.de/dist/ \
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \
http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
DISTNAME= Isabelle2009-2
.if ${PORT_OPTIONS:MDOCS}
DISTFILES= ${DISTNAME}.tar.gz \
${DISTNAME}_library.tar.gz
.endif
MAINTAINER= beyert@cs.ucr.edu
COMMENT= Generic proof assistant
@ -37,6 +33,11 @@ USE_PERL5= yes
.include <bsd.port.options.mk>
.if ${PORT_OPTIONS:MDOCS}
DISTFILES= ${DISTNAME}.tar.gz \
${DISTNAME}_library.tar.gz
.endif
.if ${PORT_OPTIONS:MEMACS_PKG}
USE_EMACS= yes # for EMACS_SITE_LISPDIR
EMACS_NO_BUILD_DEPENDS=yes