Free Developer Edition GNAT 95/2005 for Solaris 10
Dear friends,
Please help me, I search GNAT 95/2005 Free Developer Edition for Sun Solaris 9.0 or 10.0. I did not find in AdaCore.
I have only GNAT 95/2005 Free Developer Edition only for GNU/Linux and Windows.
Please help me, because I started Critical System Project for Solaris on Ada 95/2005. I already created structure with UML and now I want to start the coding.
hi friends
i have installed solaris express developers edition (1/08)
i was unable to connect to net because my system dont have installed drivers come up with solaris and can any one tell me where can i get drivers for ethernet &wifi and how to install
Drivers:
RTL8101E RTL.co fast ethernet... (2 Replies)
GNATCHECK(1) ASIS Tools GNATCHECK(1)NAME
gnatcheck - The GNAT rule checking tool
SYNOPSIS
gnatcheck [OPTION]... filename [-cargs gcc_switches] [-rules rule_switches]
gnatcheck [OPTION]... -files=filename [-cargs gcc_switches] [-rules rule_switches]
DESCRIPTION
gnatcheck checks the conformance of Ada source text with rules and produces a report file for later analysis as well as on standard output.
In the first form, gnatcheck examines the specified Ada source files (wildcards are allowed).
In the second form, gnatcheck examines the Ada source files listed in the specified file.
gnatcheck is an ASIS application developed on top of the ASIS implementation for GNAT. As such, it reads tree files (*.adt) produced by
the compiler to accomplish its goals, and invokes gnatgcc for this.
OPTIONS -a Process RTL units.
-cargs gcc_switches
Pass gcc_switches to GCC when producing the tree files.
-d Debug mode.
-dd Progress indicator mode, for use in the GNAT Programming Studio.
-h Print the list of built-in rules.
-l Full source location chains in report file.
-q Quiet mode: do not report detections on standard output.
-rules rule_switches
rule_switches can be any combination of the following:
-from=file
Read rule options from file
+ALL Turn all rules on.
-ALL Turn all rules off.
+Rrule_id[:param[,param...]]
Turn the specified rule on, passing it optional parameters.
-Rrule_id
Turn the specified rule off.
+Rrule_id[:param[,param...]]
Turn off some of the checks for the specified rule.
rule_id is any of the rules listed with the -h option.
-s Short form of the report file.
-sn Include only section n (n in 1 .. 3) in the report file.
-v Verbose mode.
AUTHOR
gnatcheck was written by AdaCore (http://www.adacore.com).
This manual page was written by Ludovic Brenta <ludovic@ludovic-brenta.org> for the Debian project, from information in the sources of
gnatcheck.
COPYRIGHT
gnatcheck is Copyright (c) 2004-2007 AdaCore
This manual page is Copyright (C) 2008 Ludovic Brenta <ludovic@ludovic-brenta.org>.
SEE ALSO asistant(1), gnat(1), gnatelim(1), gnatmetric(1), gnatpp(1)
The full documentation for gnatcheck in /usr/share/doc/asis-programs/README.gnatcheck.
info asis_ug ASIS-for-GNAT User's Guide
info asis_rm ASIS-for-GNAT Reference Manual
GNU Ada Tools March 2008 GNATCHECK(1)