diff options
author | bapt <bapt@FreeBSD.org> | 2013-09-21 04:55:04 +0800 |
---|---|---|
committer | bapt <bapt@FreeBSD.org> | 2013-09-21 04:55:04 +0800 |
commit | dd97722379d86bbad461eb7c042a07cd39ba24f9 (patch) | |
tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/isabelle | |
parent | 1501b6b943ee42d59492aa3a88b2e2599996f827 (diff) | |
download | freebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.tar.gz freebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.tar.zst freebsd-ports-gnome-dd97722379d86bbad461eb7c042a07cd39ba24f9.zip |
Add NO_STAGE all over the place in preparation for the staging support (cat: math)
Diffstat (limited to 'math/isabelle')
-rw-r--r-- | math/isabelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index 1d196217b4ab..a22f882df95c 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -31,6 +31,7 @@ EMACS_PKG_DESC= Build with Emacs Packages USES= perl5 +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} |