aboutsummaryrefslogtreecommitdiff
path: root/devel/splint
Commit message (Collapse)AuthorAgeFilesLines
* Remove USE_REINPLACE from all categories starting with DEdwin Groothuis2006-05-041-1/+0
| | | | Notes: svn path=/head/; revision=161363
* SHA256ifyEdwin Groothuis2006-01-221-0/+1
| | | | | | | Approved by: krion@ Notes: svn path=/head/; revision=154141
* Welcome Andrew Pogrebennyk as new maintainerEdwin Groothuis2005-10-141-1/+1
| | | | | | | | PR: ports/87412, ports/87411, ports/87410, ports/87409 Submitted by: Andrew Pogrebennyk <andrew.nau.ua@gmail.com> Notes: svn path=/head/; revision=145354
* At Kris's request, back out the MACHINE_ARCH spelling correction untilDavid E. O'Brien2005-04-121-2/+1
| | | | | | | after 5.4-RELEASE. Notes: svn path=/head/; revision=133116
* Assist getting more ports working on AMD64 by obeying theDavid E. O'Brien2005-04-111-1/+2
| | | | | | | Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'. Notes: svn path=/head/; revision=132992
* Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.Joe Marcus Clarke2004-02-041-1/+1
| | | | | | | (Part 2) Notes: svn path=/head/; revision=99920
* SIZEify.Trevor Johnson2004-01-291-0/+1
| | | | Notes: svn path=/head/; revision=99360
* - Add fix for parsing FreeBSD's sys/cdefs.h ('__func__')Pav Lucistnik2004-01-092-0/+12
| | | | | | | | | | | - Bump portrevision PR: ports/61131 Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de> Obtained from: Splint CVS Notes: svn path=/head/; revision=97798
* Update to version 3.1.1.Christian Weisgerber2003-06-065-32/+9
| | | | | | | | PR: 52894 Submitted by: Ports Fury Notes: svn path=/head/; revision=82340
* De-pkg-comment.Akinori MUSHA2003-02-202-1/+1
| | | | Notes: svn path=/head/; revision=75951
* o Rollback PORTCOMMENT modifications while this feature's implementationMario Sergio Fujikawa Ferreira2002-11-102-2/+1
| | | | | | | | | | | is better studied o Turn PORTCOMMENT variable in Makefile back into pkg-comment files Approved by: kris (portmgr hat), portmgr, re (silence) Notes: svn path=/head/; revision=69808
* Use PORTCOMMENT in the Makefile, and whack the pkg-comment.Adam Weinberger2002-11-062-1/+2
| | | | | | | Approved by: pat Notes: svn path=/head/; revision=69612
* Let splint process <inttypes.h>. Now it passes its own test suite.Jacques Vidrine2002-11-043-0/+62
| | | | | | | Submitted by: Stacey Son <sson@verio.net> Notes: svn path=/head/; revision=69449
* Set MAINTAINER to <ports@FreeBSD.org>.Jacques Vidrine2002-11-041-1/+1
| | | | | | | | <rrm@subterrain.net>: host subterrain.net[66.179.0.134] said: 550 5.1.1 <rrm@subterrain.net>... User unknown Notes: svn path=/head/; revision=69448
* - Repocopy and move devel/lclint to devel/splintPatrick Li2002-03-0810-113/+99
| | | | | | | | | | | | | | | | - Update devel/splint to 3.0.1.6 - Give maintainership to Raymond Medeiros <rrm@subterrain.net> for requesting in PR PR: 33788, 35247, 35474 Submitted by: KATO Tsuguru <tkato@prontomail.com>, Jeroen Ruigrok van der Werven <asmodai@wxs.nl>, Raymond Medeiros <rrm@subterrain.net> Repocopied by: joe Approved by: portmgr Notes: svn path=/head/; revision=55695
* Remove s.moeding@ndh.net as MAINTAINER; mail has been bouncing for 3 months.Bill Fenner2002-01-071-1/+1
| | | | Notes: svn path=/head/; revision=52724
* Chase the checksum; some Microsoft build files changed.Kris Kennaway2001-08-201-1/+1
| | | | Notes: svn path=/head/; revision=46509
* Chase checksum. There were no source changes, a README was addedPeter Pentchev2001-06-041-1/+1
| | | | | | | | | | | (which is not installed, so no pkg-plist changes), and some files were changed in the win32/ subdirectory. PR: 27840 Submitted by: David W. Chapman Jr. <dwcjr@inethouston.net> Notes: svn path=/head/; revision=43481
* Update to 2.5q.Jeroen Ruigrok van der Werven2000-07-317-112/+86
| | | | | | | | PR: 20224 Submitted by: MAINTAINER <s.moeding@ndh.net> Notes: svn path=/head/; revision=31162
* PORTNAME/PORTVERSION updateMichael Haro2000-04-111-2/+2
| | | | Notes: svn path=/head/; revision=27452
* Change Id->FreeBSD.David E. O'Brien1999-08-251-1/+1
| | | | Notes: svn path=/head/; revision=20947
* Prefer the http main site over the ftp main site, it's more reliable.Bill Fumerola1999-08-062-3/+6
| | | | | | | While I'm here, add some mirrors as well. Notes: svn path=/head/; revision=20586
* Make this port respect CFLAGS again. it also seems the distfile changed onBill Fumerola1999-07-093-3/+13
| | | | | | | | | us mysteriously. Submitted by: Scott Kenney <saken@hotel.rmta.org> Notes: svn path=/head/; revision=20133
* As threatened, enforce the "Capital, no period" rule. Ellipses areTim Vanderhoek1999-06-261-1/+1
| | | | | | | | permitted. Note that, given current numeric motif of PW, this is done in four equally-sized commits of 393 files each. Notes: svn path=/head/; revision=19799
* Mark NO_PACKAGE, as it doesn't respect CFLAGS.Bill Fumerola1999-06-251-1/+2
| | | | | | | No time to debug, it's midnight! Patches cheerfully accepted. Notes: svn path=/head/; revision=19758
* Wow! What big teeth you have grandma! "All the better to Weat youTim Vanderhoek1999-05-021-3/+1
| | | | | | | | | with, my dear." [That's lupus for "Add WWW:"] Notes: svn path=/head/; revision=18345
* Update to version 2.4b.Steve Price1998-07-036-100/+115
| | | | | | | | PR: 7113 Submitted by: maintainer Notes: svn path=/head/; revision=11696
* Minor cleanup, use DISTNAME and EXTRACT_SUFX, instead of DISTNAME,Satoshi Asami1996-12-121-4/+3
| | | | | | | PKGNAME and WRKSRC (one less line :). Notes: svn path=/head/; revision=4955
* LCLint is a tool for statically checking C programs. With minimalDavid E. O'Brien1996-12-116-0/+129
effort, LCLint can be used as a better lint. If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint. Check the LCLint home page at http://larch-www.lcs.mit.edu:8001/larch/lclint/ Closes-PR: ports/1646 Submitted by: Stefan Moeding <moeding@bn.DeTeMobil.de> Notes: svn path=/head/; revision=4937
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 19:26:54 +0000