1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-14 07:43:06 +00:00
Mirror of the FreeBSD ports git repo https://git.FreeBSD.org/ports.git .
Go to file
Martin Wilke b34e1634ad isl is a library for manipulating sets and relations of integer points
bounded by linear constraints. Supported operations on sets include
intersection, union, set difference, emptiness check, convex hull,
(integer) affine hull, integer projection, computing the lexicographic
minimum using parametric integer programming, coalescing and parametric
vertex enumeration. It also includes an ILP solver based on generalized
basis reduction, transitive closures on maps (which may encode infinite
graphs), dependence analysis and bounds on piecewise step-polynomials.

WWW: http://isl.gforge.inria.fr/

PR:		ports/187143
Submitted by:	Gea-Suan Lin <gslin@gslin.org>
2014-05-25 07:31:23 +00:00
accessibility KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
arabic KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
archivers Horde package update: 2014-05-23 23:14:17 +00:00
astro Seems pre-su-install breaks building as user now - in this case we only 2014-05-20 19:14:06 +00:00
audio Switch to USES=libtool:oldver 2014-05-24 15:51:45 +00:00
benchmarks - Convert to OptionsNG 2014-05-22 18:24:21 +00:00
biology - Update to 4.5.1 2014-05-21 05:40:53 +00:00
cad Fix USES 2014-05-23 16:55:42 +00:00
chinese STAGEDIR support. 2014-05-24 18:29:07 +00:00
comms LICENSE is actually GPLv2. 2014-05-24 16:22:05 +00:00
converters - Update to 0.49 2014-05-20 16:59:53 +00:00
databases Update to 2.1.0. 2014-05-25 06:46:13 +00:00
deskutils Mark BROKEN: Fails to package 2014-05-24 09:03:46 +00:00
devel isl is a library for manipulating sets and relations of integer points 2014-05-25 07:31:23 +00:00
dns Update to latest snapshot. 2014-05-25 00:11:16 +00:00
editors - Stage support 2014-05-25 05:20:56 +00:00
emulators Update emulators/i386-wine-devel to 1.7.19. 2014-05-24 06:56:11 +00:00
finance - Update to 1.32 2014-05-19 18:37:57 +00:00
french Chase the upgrade of Code_Aster ans stagify. 2014-05-13 21:49:55 +00:00
ftp - Specify ABI version 2014-05-24 06:18:44 +00:00
games Adopt port 2014-05-24 11:46:24 +00:00
german - Update to 2014.05.16 2014-05-19 16:23:19 +00:00
graphics . Fix LIB_DEPENDS format. 2014-05-24 22:55:31 +00:00
hebrew KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
hungarian KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
irc - Update to 1.1.10 2014-05-21 05:28:56 +00:00
japanese Add a missing patch to fix build. 2014-05-25 03:29:32 +00:00
java Fix printing services. When CUPS is used, ${LOCALBASE}/bin/lpr must be used 2014-05-21 20:06:16 +00:00
Keywords
korean STAGEDIR support. 2014-05-24 18:29:07 +00:00
lang lang/gnat_util: Carry impunit.ad[bs] source files 2014-05-24 21:46:07 +00:00
mail Cleanup: 2014-05-24 20:55:30 +00:00
math - Remove extraneous files (created by gcc but not by clang). 2014-05-25 02:30:15 +00:00
misc Stagify. 2014-05-24 17:54:54 +00:00
Mk 'activate' postgresql-9.4 2014-05-24 14:38:42 +00:00
multimedia Add staging support. 2014-05-23 11:46:05 +00:00
net Self Service Password is a web-based LDAP client. It provides easy, 2014-05-24 15:11:55 +00:00
net-im - Update to 14.05[1] 2014-05-25 03:55:50 +00:00
net-mgmt - Add centreon-clib 1.2.0 2014-05-24 20:54:09 +00:00
net-p2p Convert my ports to USES=tar 2014-05-12 10:53:41 +00:00
news - Please poudriere build by using @sample (better and simpler) 2014-05-24 11:13:09 +00:00
palm
polish - Use /usr/bin/unzip for zip files extraction (part 1) 2014-05-22 09:51:35 +00:00
ports-mgmt - Update to checkin 352086b 2014-05-24 19:09:22 +00:00
portuguese Fix stagification 2014-05-13 21:13:31 +00:00
print - Remove GlobalPrefs/.config. 2014-05-25 04:09:13 +00:00
russian - Update to 3.9.1 2014-05-20 11:38:56 +00:00
science - Mark MAKE_JOBS_UNSAFE 2014-05-24 06:50:24 +00:00
security Document a bunch of openjpeg vulnabilities. 2014-05-24 14:28:28 +00:00
shells Update to 3.01b. 2014-05-23 03:30:05 +00:00
sysutils - Update to 1.6.2 2014-05-25 01:18:50 +00:00
Templates
textproc - Add patch to remove dependency on mini_portile 2014-05-25 01:17:22 +00:00
Tools - Move security-check.awk to Mk/Scripts where it is more proper these days. 2014-05-09 22:35:50 +00:00
ukrainian KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
vietnamese KDE/FreeBSD team presents KDE SC 4.12.5 and KDE Workspace 4.11.9! 2014-05-10 19:43:14 +00:00
www Twig is a modern template engine for PHP 2014-05-25 05:34:50 +00:00
x11 - Update to 0.12.6 2014-05-23 17:23:01 +00:00
x11-clocks - Fix build on -current 2014-05-17 08:42:00 +00:00
x11-drivers - Stagify 2014-05-20 17:58:22 +00:00
x11-fm - Update to 0.9.6 release 2014-05-20 02:50:20 +00:00
x11-fonts Whitespace (fix portlint warnings). 2014-05-18 13:11:44 +00:00
x11-servers Revert accident commit in -r351411. This should stop the option dialog 2014-05-15 21:26:23 +00:00
x11-themes Add staging support. 2014-05-23 11:13:17 +00:00
x11-toolkits x11-toolkits/gtkada3: Update version 3.8.3.0 => 3.8.3.1 2014-05-24 22:02:05 +00:00
x11-wm . Fix the packing list (I hope). 2014-05-24 22:34:30 +00:00
.arcconfig Add .arcconfig to ports. 2014-05-15 17:25:39 +00:00
.gitignore
CHANGES Convert all :U to :tu and :L to :tl 2014-05-05 09:45:36 +00:00
CONTRIBUTING.md
COPYRIGHT
GIDs - Update to 1.2.13 2014-05-24 06:22:20 +00:00
LEGAL Very minor update to /usr/ports/LEGAL to resolve discrepancy with make -VLEGAL. 2014-05-18 19:01:19 +00:00
Makefile
MOVED Remove expired port: 2014-05-23 17:18:09 +00:00
README
UIDs - Fix netxms 2014-05-24 09:14:45 +00:00
UPDATING Respect hier(7) for config files 2014-05-21 10:37:51 +00:00

This is the FreeBSD Ports Collection.  For an easy to use
WEB-based interface to it, please see:

	http://www.FreeBSD.org/ports

For general information on the Ports Collection, please see the
FreeBSD Handbook ports section which is available from:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/ports.html
		for the latest official version
	or:
	The ports(7) manual page (man ports).

These will explain how to use ports and packages.

If you would like to search for a port, you can do so easily by
saying (in /usr/ports):


	make search name="<name>"
	or:
	make search key="<keyword>"

which will generate a list of all ports matching <name> or <keyword>.
make search also supports wildcards, such as:

	make search name="gtk*"

For information about contributing to FreeBSD ports, please see the Porter's
Handbook, available at:

	http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/porters-handbook/

NOTE:  This tree will GROW significantly in size during normal usage!
The distribution tar files can and do accumulate in /usr/ports/distfiles,
and the individual ports will also use up lots of space in their work
subdirectories unless you remember to "make clean" after you're done
building a given port.  /usr/ports/distfiles can also be periodically
cleaned without ill-effect.