Baptiste Daroussin
ce5e457020
Add NO_STAGE all over the place in preparation for the staging support (cat: math)
2013-09-20 20:55:04 +00:00
Baptiste Daroussin
cddacdc1a8
Convert to new perl framework
...
Convert USE_GMAKE to USES
2013-09-16 16:45:35 +00:00
Baptiste Daroussin
1d99007bdd
Push the DOCS test into the right section
2013-06-05 14:12:59 +00:00
Baptiste Daroussin
f0a27c9d1e
Convert to new options framework
2013-06-05 14:11:19 +00:00
Max Brazhnikov
6b71027429
Update to 2009.2
...
PR: ports/149736
Submitted by: Timothy Beyer (maintainer)
2010-10-30 18:34:26 +00:00
Pav Lucistnik
aaff5cb873
- Mark BROKEN: bad plist
...
Reported by: pointyhat
2010-10-27 21:39:01 +00:00
Dirk Meyer
de78af3ac5
- update to 1.4.1
...
Reviewed by: exp8 run on pointyhat
Supported by: miwi
2010-03-28 06:47:48 +00:00
Martin Wilke
b08635b913
- Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
...
PR: 143994 143995 143996
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
Feature safe: yes
2010-02-26 09:30:28 +00:00
Dirk Meyer
ca9c60461c
- update to jpeg-8
2010-02-05 11:46:55 +00:00
Martin Wilke
f8625babef
- Update to 2009
...
PR: 139737
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
2009-10-29 22:23:28 +00:00
Edwin Groothuis
0002baf188
[MAINTAINER] math/isabelle: update from 2007 to 2008
...
Updates the port to the latest Isabelle release. It does
not seem worth the effort to continually patch the bash
script files to make them work under sh, hence the large
number of removed files.
PR: ports/126067
Submitted by: Timothy Bourke <timbob@bigpond.com>
2008-08-15 04:33:04 +00:00
Edwin Groothuis
090059a210
Bump portrevision due to upgrade of devel/gettext.
...
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
2008-06-06 14:17:21 +00:00
Rong-En Fan
aa57d936aa
- Update to 2007
...
PR: ports/121000
Submitted by: Timothy Bourke <timbob at bigpond.com> (maintainer)
2008-04-04 12:15:22 +00:00
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
