GNAVI: GNU Ada Visual Interface: GWenerator 0.8 released
GNAVI: The GNU Ada Visual Interface, GWindows - GUI Framework, GNATCOM - ActiveX/COM and the GNAVI IDE for RAD Development. The Open Source Answer to Delphi and VB
I have a RHEL 5 system with a bonded interface configure using only one network port (eth0). So I have config file for ifcfg-bond0 and ifcfg-eth. I'd like to configure eth5 to be the second SLAVE in the bond. My question is, after I modify ifcfg-eth5, can I add eth5 to the bond0 interface without... (1 Reply)
This is my situation
DOS pc serial cable (sl0) Linux Pc eth1
192.168.0.10 <-------------------->192.168.0.2 <------------>192.168.0.1 (router)
I connected the linux pc and the dos pc with a SLIP (serial line internet protocol), so they can communicate in the sl0 interface.
... (3 Replies)
Hi all
I have installed a demo version of SCO OpenServer 5.0.2, I finally found it is Desktop Interface, I would like to know how to change its interface to dos based interface?
If you have any ideas, please tell me then. Thank you (2 Replies)
Dear all,
I am a newbie in solaris and I need your advice.
I have a Solaris version 5.9 installed on Sunfire V240.
I am able to ssh the machine from putty remotely.
My problem is that I cannot see the display from KVM switch I have connected to it. I need also to be able to see the GUI... (2 Replies)
I am looking for and IDE or at least a compiler that can handle
calls from ADA to C++, including classes and whatnot. I am talking about the AIX platform (RS6000). I have tried Rational's ApexDuo but it sucks. Does anyone know a better solution ?
Pure C++ compilers that are better than IBM's... (0 Replies)
GNATSYNC(1) ASIS Tools GNATSYNC(1)NAME
gnatsync - The GNAT global dependency detector
SYNOPSIS
gnatsync [OPTION]... filename [-cargs gcc_switches]
gnatsync [OPTION]... -files=filename [-cargs gcc_switches]
DESCRIPTION
gnatsync is the GNAT static analysis tool that helps to detect potential race conditions in multitasking programs, by exposing the global
data that is accessed in unsynchronized manner by independent threads or Ada tasks.
Input to gnatsync is a set of compilable Ada sources that constitutes a complete program. As it output, the tool prints out a list of a
data objects for which potential unsynchronized access is detected, and for each such object the tool provides a list of threads that
access this object. Each access is specified by a full sequence of subprograms calls when a given thread does not reference the object
directly.
gnatsync is an ASIS-based tool. It compiles the given sources to create the corresponding tree files. All these compilations take place in
a temporary directory, which is created in the beginning of a gnatsync run and is deleted when the processing of the argument sources is
completed. If a source file specified as gnatsync argument does not contain a legal Ada program unit, that is to say if the program has
syntactic of semantic errors, gnatsync cannot process it. If the specified source contains an Ada unit which depends on Ada units located
in other directories, the user can either specify the source search path by means of a -I option in '-cargs' section of gnatsync parame-
ters, in the same way as the source search path can be specified for GNAT. This is not needed if gnatsync is called from the GNAT driver
with the corresponding project file.
In the first form, gnatsync examines the specified Ada source files (wildcards are allowed).
In the second form, gnatsync examines the Ada source files listed in the specified file.
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.
-main=filename
Specify file containing main subprogram
-o(s|m|f)
Output detail level: s=short, m=medium (the default), f=full.
-out_file=filename
Send output to filename.
-q Quiet mode: do not report detections on standard output.
-t Output execution time.
-threads=filename
Specify file describing foreign threads
-v Verbose mode.
-wq Turn warnings off.
PROJECT FILE SUPPORT
gnasync can be applied to any set of sources, but it can produce useful and complete results when called to a set of sources that make up a
complete program. The most convenient way to specify such a set of sources is a project file. gnatsync can be called from the GNAT driver
as other tools, so the most practical way of invoking the tool is:
gnat sync -Pproj -U [options]
AUTHOR
gnatsync was written by AdaCore (http://www.adacore.com).
This manual page was written by Ludovic Brenta <lbrenta@debian.org> for the Debian project, from gnatsync's README file.
COPYRIGHT
gnatsync is Copyright (c) 2007-2009 AdaCore
This manual page is Copyright (C) 2009 Ludovic Brenta <lbrenta@debian.org>.
SEE ALSO asistant(1), gnat(1), gnatcheck(1), gnatelim(1), gnatmetric(1), gnatpp(1)
The full documentation for gnatsync in /usr/share/doc/asis-programs/README.gnatsync.
info asis_ug ASIS-for-GNAT User's Guide
info asis_rm ASIS-for-GNAT Reference Manual
GNU Ada Tools November 2009 GNATSYNC(1)