diff options
author | flz <flz@FreeBSD.org> | 2007-05-20 04:36:56 +0800 |
---|---|---|
committer | flz <flz@FreeBSD.org> | 2007-05-20 04:36:56 +0800 |
commit | 87f4d471fb27b9547c1a0de221b51f4c31684157 (patch) | |
tree | dfc4d7ae0fdd043d231bab6f4e98fccbbad14665 /math/isabelle/Makefile | |
parent | 5ae66b41b712e5f34c78308a97f7511fc0b1539e (diff) | |
download | freebsd-ports-gnome-87f4d471fb27b9547c1a0de221b51f4c31684157.tar.gz freebsd-ports-gnome-87f4d471fb27b9547c1a0de221b51f4c31684157.tar.zst freebsd-ports-gnome-87f4d471fb27b9547c1a0de221b51f4c31684157.zip |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Diffstat (limited to 'math/isabelle/Makefile')
-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 ae74eda7f151..61384f95ae92 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -7,6 +7,7 @@ PORTNAME= isabelle PORTVERSION= 2005 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ |