Commit ba319702 authored by julien.delange's avatar julien.delange

import polyorb-hi-ada, polyorb-hi-c and ocarina



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@457 129961e7-ef38-4bb5-a8f7-c9a525a55882
parents

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

Ocarina v1.1
============
The Ocarina team is proud to announce the release of Ocarina 1.1
(available at http://aadl.enst.fr)
Ocarina is a set of libraries to manipulate AADL models. Ocarina is
compliant with AADL 1.0, and some extensions from AADL 2.0.
Ocarina is available as both source and binary packages for Windows,
Linux, Solaris and Mac OS X.
To download Ocarina, go to http://aadl.enst.fr/ocarina
To download Ocarina + PolyORB-HI AADL runtime, go to
http://aadl.enst.fr/polyorb-hi/
Ocarina proposes
* AADL parser and pretty printer
* Code generation features for generating distributed applications on top of
the PolyORB schizophrenic middleware
* Code generation features for generating High-Integrity distributed
applications on top of the PolyORB-HI AADL middleware
Ocarina comes with a set of examples to demonstrate these different features.
For discussing Ocarina features, you can use the ocarina-users mailing list.
Ocarina is primarily developed by Bechir Zalila, Jerome Hugues and
Laurent Pautet at ENST (http://www.enst.fr).
-------------------------------------------------------------------------------
Ocarina v1.0-alpha
==================
Ocarina is a tool suite to manipulate, verify and process AADL
descriptions. It provides a set of specialized modules built around a
central core that manages the AADL model. Modules provide functions
such as parse/print AADL description in different syntax, perform
model analysis, generate code from a model, etc.
Ocarina is primarily developed by Thomas Vergnaud and Laurent Pautet
(Télécom Paris).
* Contents
This pre-release provides two main modules:
** Ocarina core:
The core of Ocarina provides basic functions to manipulate an abstract
syntax tree representing an AADL mode:
- an API to insert elements into the tree
- functionnalities to scan the whole tree; callback functions can be
associated to the tree nodes, in order to process the description
- basic checks on the structure: completeness, type consistency, etc.
** AADL parser and printer:
These modules can read or write a description in the AADL syntax. They
rely on the Ocarina core.
* Important Note
This pre-release must be considered as an unstable version. This means
it may crash or produce incomplete results. Yet, it works for common
AADL descriptions and can be used as a description validator.
* AADL
AADL (Architecture Analysis & Design Language) is an architecture
description language targetted to the description of embedded
real-time systems (e.g. avionics). More information can be found on
the AADL web site: http://www.aadl.info
David Abad-Garcia <abadgarc@enst.fr>
Thomas Autret <thomas.autret@enst.fr>
Julien Delange <julien.delange@enst.fr>
Olivier Gilles <olivier.gilles@enst.fr>
Jerome Hugues <jerome.hugues@enst.fr>
Fabrice Kordon <fabrice.kordon@lip6.fr>
Stephane Lanarre <stephane.lanarre@enst.fr>
Gilles Lasnier <gilles.lasnier@enst.fr>
Laurent Pautet <laurent.pautet@enst.fr>
Xavier Renault <xavier.renault@lip6.fr>
Clement Tourriere <clement.tourriere@enst.fr>
Thomas Vergnaud <thomas.vergnaud@enst.fr>
Vo Ngoc Minh <nvo@enst.fr>
Bechir Zalila <bechir.zalila@enst.fr>
This diff is collapsed.
This diff is collapsed.
To compile and install Ocarina, just type:
./configure [options]
make
make install
type ./configure --help to get the list of possible options.
If you modify source files, build Ocarina after a checkout or make
distclean, or the directory hierarchy of the source files, you should
re-generate autoconf and automake files (configure, Makefile.in...);
to do this, from the main directory, run:
./support/reconfig
For more details, please refer to Ocarina's documentation.
SUBDIRS = support doc tools projects src resources projects-distrib examples
AUTOMAKE_OPTIONS = no-dependencies
ACLOCAL_AMFLAGS = -I support
CLEANFILES = config-stamp
EXTRA_DIST = $(top_srcdir)/Makefile.common
# Default testing behavior. Can be overridden by the user
MAKE_TESTS = yes
CLEAR_AT_TEST_END = yes
test-suite: test-suite-internal
test-suite-internal:
@if test '$(MAKE_TESTS)' = yes; then \
if test -x '$(top_srcdir)/autotest.sh'; then \
PATH="$(DESTDIR)$(bindir):$$PATH" \
&& path_conv="@CYGPATH_W@" path_sep="@PATH_SEP@" \
$(top_srcdir)/autotest.sh --tests \
&& (test '$(CLEAR_AT_TEST_END)' = yes \
&& clear \
&& echo "TESTSUITE SUCCESSFULLY PASSED" \
&& echo "TESTED: `which ocarina`" \
&& sleep 5 || true) || exit 1;\
fi; \
if test -x '$(top_srcdir)/../autotest.sh'; then \
PATH="$(DESTDIR)$(bindir):$$PATH" \
&& path_conv="@CYGPATH_W@" path_sep="@PATH_SEP@" \
$(top_srcdir)/../autotest.sh --tests \
&& (test '$(CLEAR_AT_TEST_END)' = yes \
&& clear \
&& echo "TESTSUITE SUCCESSFULLY PASSED" \
&& echo "TESTED: `which ocarina`"\
&& sleep 5 || true) || exit 1;\
fi; \
fi
tests::
@$(MAKE) test-suite-internal "MAKE_TESTS=yes" "CLEAR_AT_TEST_END=no"
examples::
@$(MAKE) -C resources/runtime maybe-check-runtimes
check-local: install
@$(MAKE) test-suite
@$(MAKE) -C resources/runtime maybe-check-runtimes
STRIP = "@abs_top_srcdir@/support/strip_wrapper.sh"
install-exec-local:
$(INSTALL) -d $(DESTDIR)$(bindir)
$(INSTALL) -d $(DESTDIR)$(datadir)
$(INSTALL_SCRIPT) ocarina-config $(DESTDIR)$(bindir)
$(INSTALL_DATA) $(srcdir)/ChangeLog $(DESTDIR)$(datadir)/doc/ocarina/ChangeLog_ocarina
uninstall-local:
rm -f $(DESTDIR)$(bindir)/ocarina-config
# The use of ADA_PROJECT_PATH="..." is incompatible with the use of
# the -aP gnatmake flag.
if HAS_GNATMAKE_APDIR
INIT_ADA_PROJECT_PATH =
if HAS_XMLADA
AP_FLAGS = ${addprefix -aP, $(XMLADA_PRJ) $(top_srcdir)/projects $(top_builddir)/projects}
else
AP_FLAGS = ${addprefix -aP, $(top_srcdir)/projects $(top_builddir)/projects}
endif
else
if HAS_XMLADA
INIT_ADA_PROJECT_PATH = ADA_PROJECT_PATH="$(XMLADA_PRJ)$(PATH_SEP)$(top_srcdir)/projects$(PATH_SEP)$(top_builddir)/projects$(PATH_SEP)$$ADA_PROJECT_PATH"
else
INIT_ADA_PROJECT_PATH = ADA_PROJECT_PATH="$(top_srcdir)/projects$(PATH_SEP)$(top_builddir)/projects$(PATH_SEP)$$ADA_PROJECT_PATH"
endif
AP_FLAGS =
endif
# The absolute source and build dire, depending on the platform
PL_DEP_ABS_SRC_DIR = ${shell $(CYGPATH_W) "@abs_top_srcdir@/src"}
PL_DEP_ABS_BUILD_DIR = ${shell $(CYGPATH_W) "@abs_top_builddir@/src"}
# The absolute path to the XMLAda project directory, depending on the
# platform
XMLADA_PRJ = ${shell $(CYGPATH_W) "@XMLADA_PROJECT@"}
# Some common rules to fetch Ada specs and bodies
# If the Ada specs and bodies have to be generated from Pseudo-IDL
# descriptions, we deduce their name from the P-IDL file name and we
# remove the source directory prefix because they would be located in
# the build directory.
PIDL_SPECS=${shell find $(srcdir) -name '*.idl' 2> /dev/null}
TREE_SPECS=${patsubst $(srcdir)/%, %, $(PIDL_SPECS:.idl=.ads)}
TREE_BODIES=${patsubst $(srcdir)/%, %, $(PIDL_SPECS:.idl=.adb)}
# Retrieve all other Ada specs and bodies.
BRUTE_ADA_SPECS=${shell find . $(srcdir) -name '*.ads' | grep -v 'b~' 2> /dev/null}
BRUTE_ADA_BODIES=${shell find . $(srcdir) -name '*.adb' | grep -v 'b~' 2> /dev/null}
# The purpose of the sort is to remove duplicates.
ADA_SPECS = ${sort $(TREE_SPECS) $(BRUTE_ADA_SPECS)}
ADA_BODIES = ${sort $(TREE_BODIES) $(BRUTE_ADA_BODIES)}
# Common rule to install Ada sources and libraries (Requires $(alidir)
# to be defined in the including make file)
adadir = $(includedir)/ocarina
alidir = $(libdir)/ocarina
install-ada-libs:
$(INSTALL) -d $(DESTDIR)$(adadir)
$(INSTALL) -d $(DESTDIR)$(alidir)
for f in $(ADA_SPECS) $(ADA_BODIES); do \
$(INSTALL) -m 444 $$f $(DESTDIR)$(adadir); \
done
for f in libs/*.ali; do \
$(INSTALL) -m 444 $$f $(DESTDIR)$(alidir); \
done
$(INSTALL) -d $(DESTDIR)$(libdir)
for f in libs/lib*; do \
$(INSTALL) -m 444 $$f $(DESTDIR)$(libdir); \
done
uninstall-ada-libs:
rm -rf $(D