Mark Linimon
cb8d6c382f
Move the USE_PERL definitions, and others, before pre.mk inclusion. This
...
will be needed to conditionalize bsd.perl.mk inclusion.
Approved by: maintainer
2007-09-29 20:58:03 +00:00
Edwin Groothuis
ecaabb26ca
Update port: math/isabelle
...
Update to Isabelle port:
* Works with updated sml-nj-devel port.
* Does not require bash
Thanks to Johannes 5 Joemann for helpful comments/patches.
PR: ports/116046
Submitted by: Timothy Bourke <timbob@bigpond.com>
2007-09-10 12:11:09 +00:00
Florent Thoumie
d4f0d0048a
- Welcome X.org 7.2 \o/.
...
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
2007-05-19 20:36:56 +00:00
Martin Wilke
6c11582094
- Fix crash with lang/polyml.
...
PR: 109958
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
2007-03-22 11:32:00 +00:00
Rong-En Fan
4e2e566447
math/isabelle does not build on pointyhat, because the build process
...
requires a non-standard kernel setting. Mark it as NO_PACKAGE.
Refer to http://docs.freebsd.org/cgi/mid.cgi?20060521015932.GB603
PR: ports/101749
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2006-08-10 12:04:59 +00:00
Shaun Amott
b194feb0a6
Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIX
...
PR: ports/99341
Submitted by: shaun (me)
Approved by: ahze (mentor)
2006-06-23 02:29:06 +00:00
Edwin Groothuis
a2b985d4dc
add SHA256 checksum
2006-06-07 14:19:41 +00:00
Sergey Matveychuk
b445a12fa5
- Update to 2005
...
PR: ports/94671
Submitted by: maintainer
2006-05-01 18:01:58 +00:00
Simon Barner
80bd7289ee
Add isabelle 2004, a generic proof assistant.
...
PR: 84859
Submitted by: Timothy Bourke <timbob@bigpond.com>
2005-09-01 10:03:58 +00:00
