[comp.std.c] ANSI C Lint

lewine@dg.dg.com (Don Lewine) (06/27/90)

For all of the people who asked me, here is the information on the 
Mindcraft C Portability Verifier:

The package includes 6 programs:

mclint	Verifies portability to all of the following standards individually
	or in any combination:
	* ANSI C
	* POSIX.1/.1a
	* POSIX.2
	* XPG3 (lots of options)

plint	mclint with a default to check for POSIX.1

clint	mclint with a default to check for ANSI C

xlint	mclint with a default to check for XPG3 Volume 2, required interfaces

stdcpp	A preporcessor that translates ANSI C to common C.

mcman	on-line manual for all of the above.


The software is sold in binary form for a given hardware/OS.  Supported 
systems/OS are at least:
	Apple A/UX
	VAX/Ultrix
	DECsystem/Ultrix
	H-P/9000 series 300 with HP-UX 7.0
	IBM PS/2 AIX 1.0
	IBM RT AIX 2.2.1
	386/ix 2.0
	NeXT 1.0
	SCO UNIX 386
	SCO XENIX
	SPARC
	others

The software is $395 on floppy disk.  Other media is more expensive.

Contact Mindcraft at 1-800-537-6749 or FAX (415) 323-0854

	Mindcraft, Inc.
	410 Cambridge Avenue
	Palo Alto, CA 94306


MAJOR DISCLAIMER:  I do not work for Mindcraft.  I have never used this
	software.  The product may be overpriced junk or it may be very
	good.  I am posting this as a public service because Mindcraft
	clearly has not done a good job at getting the word out.
	 
	If someone at Mindcraft would care to send me a copy of the software,
	I would be happy to give it a complete review.

Donald Lewine, Data General Corp.
uunet!dg!lewine
lewine@cheshirecat.dg.com
Don_Lewine@dgc.mceo.dg.com