mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-18 08:02:48 +00:00
Code Issues Releases Activity
205,776 Commits 46 Branches 101 Tags 3.4 GiB
513be14020
Commit Graph

12 Commits

Author SHA1 Message Date
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