openbsd-ports

Go to file

jca 1d1777dc2c Import frama-c. Work done by blambert@, with help from sthen@,

phessler@ and me.  ok sthen@ blambert@

Frama-C is a suite of tools dedicated to the analysis of the source code
of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative
framework. The collaborative approach of Frama-C allows static analyzers to
build upon the results already computed by other analyzers in the framework.
Thanks to this approach, Frama-C provides sophisticated tools, such as a
slicer and dependency analysis.

2014-04-21 16:02:25 +00:00

archivers

use ${FILESDIR} instead of hardcoding 'files/'

2014-04-20 10:00:21 +00:00

astro

Remove uneeded MESSAGE.

2014-01-19 15:44:12 +00:00

audio

Bump after neon krb5 removal.

2014-04-21 14:25:15 +00:00

base

PERMIT_DISTFILES_CDROM died a while ago. Found by portcheck.

2014-02-09 18:23:32 +00:00

benchmarks

Do not override CFLAGS and do not force optimization.

2013-12-31 17:23:57 +00:00

biology

drop some USE_GROFF in perl ports where it's not needed

2014-04-07 14:51:25 +00:00

books

add the new Burmese (Myanmar) edition of books/wndw.

2014-01-14 14:27:10 +00:00

cad

remove duplicate REVISION

2014-04-18 23:17:34 +00:00

chinese

Drop USE_GROFF since groff and mandoc produce identical output.

2014-01-01 20:46:27 +00:00

comms

remove bogus libusb1 dependency, as it's using libusb-compat

2014-04-18 23:22:17 +00:00

converters

Drop USE_GROFF since groff and mandoc produce identical output.

2014-04-13 01:01:38 +00:00

databases

Regen wantlib for kerberos removal.

2014-04-21 15:37:01 +00:00

devel

Import frama-c. Work done by blambert@, with help from sthen@,

2014-04-21 16:02:25 +00:00

editors

Update to texmaker 4.1.1.

2014-04-12 09:05:00 +00:00

education

Update to gtypist 2.9.4. OK naddy@ sthen@

2014-04-17 00:23:17 +00:00

emulators

Don't strip mupen64plus libs by default. Bump all modules.

2014-04-17 07:03:59 +00:00

fonts

update to hermit-font-1.21

2014-04-14 17:55:32 +00:00

games

sync

2014-04-18 15:15:13 +00:00

geo

Guessing wantlib regen since these don't build.

2014-04-21 15:20:06 +00:00

graphics

Sync wantlib for kerberos removal.

2014-04-21 14:11:53 +00:00

infrastructure

Fix hardcoded paths detection using perl. Reminded by jasper@, thanks!

2014-04-19 17:20:37 +00:00

inputmethods

Fix to work and build with emacs-24.3.

2013-12-07 23:42:04 +00:00

japanese

cleanup double spaces and sort MODGNOME_TOOLS

2014-04-02 09:36:09 +00:00

java

Remove sys/timeb.h. ok naddy@ jca@

2013-12-08 16:35:17 +00:00

korean

update maintainer's email address

2013-06-04 13:16:20 +00:00

lang

also zap gssapi, spotted by aja

2014-04-21 15:35:34 +00:00

mail

Sync wantlib for kerberos removal.

2014-04-21 14:52:08 +00:00

math

Update to gnumeric-1.12.14.

2014-04-13 19:39:01 +00:00

README

Documentation for the ports tree: ports(7), packages(7), mirroring-ports(7),
library-specs(7), bsd.port.mk(5), bsd.port.arch.mk(5), port-modules(5).

dpb(1) (manpage under ${PORTSDIR}/man) for bulk builds.

See also the OpenBSD Porter's Handbook http://www.openbsd.org/faq/ports/

$OpenBSD: README,v 1.20 2011/11/15 18:33:16 espie Exp $

Languages

Makefile 61%

PHP 18.9%

Perl 6.5%

C 4.6%

HTML 2.3%

Other 6.4%