Commit 1db7b81e authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files
parents 7ad4912e 6772fd5f
*~
Makefile
Makefile.in
autom4te.cache/
config.log
config.status
configure
aclocal.m4
doc/ocarina.info
doc/stamp-vti
doc/version.texi
support/mdate-sh
support/texinfo.tex
Julien Delange <delange@enst.fr>
Jerome Hugues <hugues@enst.fr>
Laurent Pautet <pautet@enst.fr>
GCC RUNTIME LIBRARY EXCEPTION
Version 3.1, 31 March 2009
Copyright (C) 2009 Free Software Foundation, Inc. <http://fsf.org/>
Everyone is permitted to copy and distribute verbatim copies of this
license document, but changing it is not allowed.
This GCC Runtime Library Exception ("Exception") is an additional
permission under section 7 of the GNU General Public License, version
3 ("GPLv3"). It applies to a given file (the "Runtime Library") that
bears a notice placed by the copyright holder of the file stating that
the file is governed by GPLv3 along with this Exception.
When you use GCC to compile a program, GCC may combine portions of
certain GCC header files and runtime libraries with the compiled
program. The purpose of this Exception is to allow compilation of
non-GPL (including proprietary) programs to use, in this way, the
header files and runtime libraries covered by this Exception.
0. Definitions.
A file is an "Independent Module" if it either requires the Runtime
Library for execution after a Compilation Process, or makes use of an
interface provided by the Runtime Library, but is not otherwise based
on the Runtime Library.
"GCC" means a version of the GNU Compiler Collection, with or without
modifications, governed by version 3 (or a specified later version) of
the GNU General Public License (GPL) with the option of using any
subsequent versions published by the FSF.
"GPL-compatible Software" is software whose conditions of propagation,
modification and use would permit combination with GCC in accord with
the license of GCC.
"Target Code" refers to output from any compiler for a real or virtual
target processor architecture, in executable form or suitable for
input to an assembler, loader, linker and/or execution
phase. Notwithstanding that, Target Code does not include data in any
format that is used as a compiler intermediate representation, or used
for producing a compiler intermediate representation.
The "Compilation Process" transforms code entirely represented in
non-intermediate languages designed for human-written code, and/or in
Java Virtual Machine byte code, into Target Code. Thus, for example,
use of source code generators and preprocessors need not be considered
part of the Compilation Process, since the Compilation Process can be
understood as starting with the output of the generators or
preprocessors.
A Compilation Process is "Eligible" if it is done using GCC, alone or
with other GPL-compatible software, or if it is done without using any
work based on GCC. For example, using non-GPL-compatible Software to
optimize any GCC intermediate representations would not qualify as an
Eligible Compilation Process.
1. Grant of Additional Permission.
You have permission to propagate a work of Target Code formed by
combining the Runtime Library with Independent Modules, even if such
propagation would otherwise violate the terms of GPLv3, provided that
all Target Code was generated by Eligible Compilation Processes. You
may then convey such a combination under terms of your choice,
consistent with the licensing of the Independent Modules.
2. No Weakening of GCC Copyleft.
The availability of this Exception does not imply any general
presumption that third-party software is unaffected by the copyleft
requirements of the license of GCC.
This diff is collapsed.
This diff is collapsed.
Quick installation instructions for PolyORB-HI-C:
=================================================
Please refer to the provided user's guide for more
detailed installation instructions.
BUILD REQUIREMENTS:
===================
- Gnu C Compiler (aka GCC, see http://gcc.gnu.org/). Compiler
provided by most of Linux distribution is sufficient. However,
you'll need cross-compiler if you try to generate code for
embedded architectures. In this case, please refer to the
manual of PolyORB-HI-C.
- The latest snapshot of the Ocarina AADL tool suite
(http://ocarina.enst.fr/snapshots/).
BUILD AND INSTALLATION INSTRUCTIONS:
====================================
- Install Ocarina as specified by their respective
documentations and make sure their 'bin' installation directories is
located at the top of your PATH environment variable.
- Issue ./configure
- Issue make && make install. It will install the runtime
in a directory of Ocarina. You must have the rights to write
into the Ocarina installation directory to install PolyORB-HI-C.
To build the examples, and after installing PolyORB-HI-C, issue:
$> make examples
The generated code and the compiled nodes for each example are located
in examples/example_name/<main_aadl_system_name>
ACLOCAL_AMFLAGS = -I support
AUTOMAKE_OPTIONS = no-dependencies
CLEANFILES = config-stamp svn-commit*.tmp* *~
SUBDIRS = src support tools share include doc
DIST_SUBDIRS = $(SUBDIRS) examples
check-local:: examples
examples:: install
$(MAKE) -C examples build-all
run-examples::
$(MAKE) -C examples check-all
clean-examples::
$(MAKE) -C examples clean
distclean-examples::
$(MAKE) -C examples distclean
generate-driver-configuration::
$(MAKE) -C src/drivers/configuration regenerate
po_hi_doc_dir = ${shell $(CYGPATH_U) '$(OCARINA_PREFIX)/share/doc/ocarina'}
install-data-local:
$(MAKE) -C examples DESTDIR="$(DESTDIR)" install
$(INSTALL) -d $(DESTDIR)$(po_hi_doc_dir)
$(INSTALL_DATA) $(srcdir)/ChangeLog $(DESTDIR)$(po_hi_doc_dir)/ChangeLog_polyorb_hi_c
uninstall-local:
$(MAKE) -C examples DESTDIR="$(DESTDIR)" uninstall
rm -f $(DESTDIR)$(po_hi_doc_dir)/ChangeLog_polyorb_hi_c
release:
rm -rf release/
mkdir release/
$(MAKE) dist
cp -f $(DIST_ARCHIVES) release/$(DIST_ARCHIVES)
# We disable checking of the distclean rule, it is a nuisance
distcleancheck:
@:
v1.0 (2008-05-12) : First release of PolyORB-HI-C
AC_PREREQ(2.60)
AC_INIT(PolyORB-HI/C, 1.0w, taste-dev@lists.tuxfamily.org)
AC_CONFIG_SRCDIR(src)
AC_CONFIG_AUX_DIR(support)
AC_CANONICAL_HOST
AM_INIT_AUTOMAKE([1.9 tar-pax] foreign)
AM_CONFIG_HEADER(include/po_hi_config.h)
AH_TOP([
#ifndef HAVE_PO_HI_CONFIG_H
#define HAVE_PO_HI_CONFIG_H
])
AC_PROG_CC
AC_LANG_C
AC_PROG_INSTALL
## We need some external programs in order to build
## PolyORB-HI-C and its documentation.
AC_CHECK_PROG(MV, mv, mv)
AC_CHECK_PROG(RM, rm, rm)
AC_CHECK_PROG(CP, cp, cp)
AC_CHECK_PROG(GREP, grep, grep)
AC_CHECK_PROG(CHMOD, chmod, chmod)
AC_CHECK_PROG(TEX, tex, tex)
AC_CHECK_PROG(BIBTEX, bibtex, bibtex)
AC_HEADER_STDBOOL
AC_CHECK_SIZEOF(char)
AC_CHECK_SIZEOF(float)
AC_CHECK_SIZEOF(double)
AC_CHECK_SIZEOF(long double)
AC_CHECK_SIZEOF(int)
AC_CHECK_SIZEOF(unsigned int)
AC_CHECK_SIZEOF(long int)
AC_CHECK_SIZEOF(unsigned long int)
AC_CHECK_SIZEOF(short int)
AC_CHECK_SIZEOF(unsigned short int)
AC_CHECK_FUNC(clock_gettime, AC_DEFINE(HAVE_CLOCK_GETTIME, [], [Check if the system supports the clock_gettime function]),)
AC_C_BIGENDIAN
AH_BOTTOM([
#endif /* ! HAVE_PO_HI_CONFIG_H */
])
##################################################
# Set CFLAGS and LDFLAGS for the native platform #
##################################################
CFLAGS="-Wall -O"
NATIVE_CFLAGS=""
NATIVE_LDFLAGS=""
SIMULINK_LDFLAGS=""
case ${host_os} in
*darwin*)
NATIVE_CFLAGS="${NATIVE_CFLAGS} -DPOSIX -DNEED_CLOCK_GETTIME"
NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lpthread"
;;
*solaris*10*)
NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lrt"
;;
*freebsd*)
NATIVE_CFLAGS="${NATIVE_CFLAGS} -DPOSIX -D_GNU_SOURCE"
NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lpthread -lrt"
SIMULINK_LDFLAGS="-lm"
;;
*cygwin*)
NATIVE_CFLAGS="${NATIVE_CFLAGS} -D_GNU_SOURCE"
NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lpthread -lwsock32"
SIMULINK_LDFLAGS="-lm"
;;
*)
NATIVE_CFLAGS="${NATIVE_CFLAGS} -DPOSIX -D_POSIX_SOURCE -D_GNU_SOURCE"
NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lpthread -lrt"
SIMULINK_LDFLAGS="-lm"
;;
esac
AC_CHECK_LIB(socket, socket, [NATIVE_LDFLAGS="${NATIVE_LDFLAGS} -lsocket"])
AC_SUBST(NATIVE_CFLAGS)
AC_SUBST(NATIVE_LDFLAGS)
AC_SUBST(SIMULINK_LDFLAGS)
##########################################
# Check for Ocarina
##########################################
AM_PATH_OCARINA(1.1, ,AC_MSG_ERROR([Ocarina 1.1 or later is not installed on you
r system]))
AC_ARG_ENABLE(debug,
[ --enable-debug[=level] specify debugging level.
Values are:
* critical - runtime errors that will imply a failure
* warning - runtime errors that do not crash the system
* debug - useful for debugging purpose
* info - ALL informations about the system],
[ case ${enableval} in
info)
AC_DEFINE_UNQUOTED(__PO_HI_DEBUG_LEVEL, 12, "Debug level - show ALL potential informations.")
;;
debug)
AC_DEFINE_UNQUOTED(__PO_HI_DEBUG_LEVEL, 10, "Warning - information that can show errors but are not so important")
;;
warning)
AC_DEFINE_UNQUOTED(__PO_HI_DEBUG_LEVEL, 6, "Warning - Errors that will imply a minor error at run-tine")
;;
critical)
AC_DEFINE_UNQUOTED(__PO_HI_DEBUG_LEVEL, 4, "Critical - Errors that will imply a fault or a crash")
;;
*)
AC_DEFINE_UNQUOTED(__PO_HI_DEBUG_LEVEL, 0, "None - Do not print anything")
;;
esac])
AC_ARG_ENABLE(giop,
[ --enable-giop Use the GIOP protocol],
[ AC_DEFINE([__PO_HI_USE_GIOP], [], ["Enable the GIOP protocol"])])
HAS_LUA_=
AC_ARG_ENABLE(lua,
[ --enable-lua Use the LUA script engine],
[ AC_DEFINE([__PO_HI_USE_LUA], [], ["Enable the LUA script engine"])
if [[ "$enableval" = "yes" ]]; then
HAS_LUA_=true
fi])
AC_SUBST(HAS_LUA_)
AM_CONDITIONAL(HAS_LUA, [test ! "x$HAS_LUA_" = "x"])
############################################
# Set the value corresponding to cygpath -u
############################################
if test x"$CYGPATH_W" = x"echo"; then
CYGPATH_U="echo"
else
CYGPATH_U="cygpath -u"
fi
AC_SUBST(CYGPATH_U)
##########################################
# Build documentation
##########################################
AC_CHECK_PROGS(TEXI2HTML, texi2html)
DOC_TARGETS=
AC_ARG_ENABLE(doc,
[ --enable-doc Build documentation [default=no]],
[if [[ "$enableval" = "yes" ]]; then
DOC_TARGETS=docs
fi],
[])
AC_SUBST(DOC_TARGETS)
###############################################################
# Force the installation prefix to be equal to the Ocarina one
###############################################################
prefix='$(OCARINA_PREFIX)'
##########################################
# Output generated files
##########################################
dnl Important! One file per line, nothing before
dnl or after except whitespace! This section
dnl may, one day, be edited automatically to remove
dnl some entries.
AC_OUTPUT([
Makefile
doc/Makefile
src/Makefile
src/drivers/Makefile
src/drivers/configuration/Makefile
src/monitoring/Makefile
src/monitoring/cheddar_scheduling/Makefile
include/Makefile
include/drivers/Makefile
include/drivers/configuration/Makefile
include/monitoring/Makefile
examples/Makefile
examples/aadlv1/Makefile
examples/aadlv1/d3.1.3-1/Makefile
examples/aadlv1/ping/Makefile
examples/aadlv1/flight-mgmt/Makefile
examples/aadlv1/rma/Makefile
examples/aadlv1/sunseeker/Makefile
examples/aadlv2/Makefile
examples/aadlv2/cpp/Makefile
examples/aadlv2/d3.1.3-1/Makefile
examples/aadlv2/import/Makefile
examples/aadlv2/ping/Makefile
examples/aadlv2/lua/Makefile
examples/aadlv2/producer-consumer/Makefile
examples/aadlv2/flight-mgmt/Makefile
examples/aadlv2/monitor/Makefile
examples/aadlv2/packet-store/Makefile
examples/aadlv2/file-store/Makefile
examples/aadlv2/rma/Makefile
examples/aadlv2/some-types/Makefile
examples/aadlv2/some-types-stdint/Makefile
examples/aadlv2/sunseeker/Makefile
tools/Makefile
tools/check-symbols/Makefile
tools/check-symbols/examples/Makefile
tools/check-symbols/examples/malloc/Makefile
tools/check-symbols/examples/strings/Makefile
tools/check-symbols/src/Makefile
share/Makefile
share/lua/Makefile
share/lua/libs/Makefile
share/lua/include/Makefile
share/cheddar/Makefile
share/models/Makefile
share/ocarina/Makefile
share/tsim/Makefile
share/make/Makefile
share/utils/Makefile
share/make/Makefile.common
share/make/Makefile.native
share/config/Makefile
share/config/spif-rtems/Makefile
share/config/leon-rtems/Makefile
share/config/nds-rtems/Makefile
share/config/gumstix-rtems/Makefile
support/Makefile
])
CODING GUIDELINES for PolyORB-HI
********************************
1. Don't use TAB characters, use space character instead
2. Don't put any space at the end of a line
3. Always indent the code
4. Don't have two blank lines
5. Don't put a space before ')' ar ofter a '('
6. Put a space before '(' and after ','
7. Don't end a line with a single '('
8. Don't have a single '(' on a line
9. Use brace as soon as possible
10. Try to comment the code as much as possible
11. Comment the functions in the header file
12. Use '__po_hi_' prefix for functions and global variables
13. Use '__PO_HI' prefix for macros and constants
14. The filename must have the prefix 'po_hi'
15. The comments should be written under the functions or structures
###############################################################################
# $Id: Makefile.am 6950 2009-08-25 08:06:54Z hugues $
# Makefile for the PolyORB HI User's Guide
###############################################################################
C_CODE = $(srcdir)/po_hi_messages.c
H_CODE = $(srcdir)/po_hi_messages.h $(srcdir)/po_hi_time.h \
$(srcdir)/po_hi_main.h $(srcdir)/po_hi_common.h \
$(srcdir)/po_hi_debug.h $(srcdir)/po_hi_marshallers.h \
$(srcdir)/po_hi_giop.h $(srcdir)/po_hi_gqueue.h \
$(srcdir)/po_hi_transport.h $(srcdir)/po_hi_returns.h \
$(srcdir)/po_hi_task.h \
$(srcdir)/po_hi_types.h $(srcdir)/po_hi_protected.h
SRC_CODE = $(C_CODE) $(H_CODE)
DOC_CODE = $(srcdir)/activity.c $(srcdir)/deployment.h \
$(srcdir)/deployment_c.c $(srcdir)/naming.c $(srcdir)/main.c \
$(srcdir)/toy_types.c $(srcdir)/toy_main.c \
$(srcdir)/toy_types.h $(srcdir)/data_struct.h \
$(srcdir)/node_b_activity.c $(srcdir)/marshallers.c \
$(srcdir)/subprograms.c
AADL_MODELS = $(srcdir)/complex_types.aadl $(srcdir)/do_ping_spg.aadl \
$(srcdir)/hardware.aadl $(srcdir)/node_a_model.aadl \
$(srcdir)/ping.aadl $(srcdir)/port_cnx.aadl \
$(srcdir)/processor_binding.aadl $(srcdir)/devices.aadl \
$(srcdir)/protected_object_types.aadl \
$(srcdir)/simple_types.aadl $(srcdir)/thread_a.aadl \
$(srcdir)/thread_a_full.aadl $(srcdir)/scenario_sample.aadl
FIGURES = $(srcdir)/fig/ping.eps $(srcdir)/fig/ping.pdf \
$(srcdir)/fig/ping.png
GUIDE = polyorb-hi-c_ug
###############################################################################
SRC_CODE_TEXIFILES = ${notdir $(SRC_CODE:.h=.h.texi) $(SRC_CODE:.c=.c.texi)}
DOC_CODE_TEXIFILES = ${notdir $(DOC_CODE:.h=.h.texi) $(DOC_CODE:.c=.c.texi)}
AADL_TEXIFILES = ${notdir $(AADL_MODELS:.aadl=.texi)}
GUIDE_TEXIFILES = polyorb-hi_ug_ref.texi $(SRC_CODE_TEXIFILES) \
$(DOC_CODE_TEXIFILES) $(AADL_TEXIFILES)
EXTRA_DIST= $(GUIDE_TEXIFILES) $(SRC_CODE) $(DOC_CODE) $(AADL_MODELS) \
$(srcdir)/CODING_GUIDELINES $(srcdir)/polyorb_hi.css \
$(srcdir)/conventions.texi $(srcdir)/gfdl.texi \
$(srcdir)/polyorb-hi_ug_ref.tex polyorb-hi_ug_ref.bbl \
polyorb-hi_ug_ref.aux $(srcdir)/polyorb-hi_ug.bib $(FIGURES)
info_TEXINFOS =
polyorb_hi_c_ug_TEXINFOS = $(GUIDE_TEXIFILES)
SUFFIXES = .c .h .aadl .texi .sed .pdf .html
docs: $(GUIDE_TEXIFILES) $(GUIDE).html $(GUIDE).pdf
all-local: @DOC_TARGETS@
###############################################################################
# The target below are active only in developper mode. In package
# mode, once the files in doc/ have been packages, they are not
# overriden.
$(SRC_CODE):
echo $(SRC_CODE_TEXINFOS)
for file in $(C_CODE); do \
cp -f $(top_srcdir)/src/`basename $${file}` $(srcdir); \
done
for file in $(H_CODE); do \
cp -f $(top_srcdir)/include/`basename $${file}` $(srcdir); \
done
$(DOC_CODE):
for file in $(DOC_CODE); do \
cp -f $(srcdir)/code/`basename $${file}` $(srcdir); \
done
$(AADL_MODELS):
for file in $(AADL_MODELS); do \
cp -f $(srcdir)/model/`basename $${file}` $(srcdir); \
done
###############################################################################
# The target below are used to build all elements of the documentation
# Targets to build a bibliography from BibTex files
polyorb-hi_ug_ref.texi: polyorb-hi_ug_ref.bbl
@sed -e 's/~/ /g' \
-e 's/\\[-`'\''"c^]//g' \
-e 's/\\emdash */---/g' \
-e 's/metapost/MetaPost/g' \
-e 's/\\MF/Metafont/g' \
-e 's/\\METAFONT/METAFONT/g' \
-e 's/\\TUB/TUGboat/g' \
-e 's/\\LaTeX/La@TeX/g' \
-e 's/\\AMSTEX/AMS@TeX/g' \
-e 's/\\AmSTeX/AMS@TeX/g' \
-e 's/\\TeX/@TeX/g' \
-e 's/\\noopsort{[^}]*}//g' \
-e 's/[{}\]//g' \
-e 's/@\[/{/g' \
-e 's/@\]/}/g' \
-e 's/@TeX/@TeX{}/g' \
$< >$@
polyorb-hi_ug_ref.bbl: polyorb-hi_ug_ref.aux
-TEXINPUTS="$(srcdir):.:" \
BIBINPUTS="$(srcdir):.:" \
BSTINPUTS="$(srcdir):.:" \
$(BIBTEX) polyorb-hi_ug_ref
polyorb-hi_ug_ref.aux: $(srcdir)/polyorb-hi_ug_ref.tex $(srcdir)/polyorb-hi_ug.bib
rm -f polyorb-hi_ug_ref.bbl
-TEXINPUTS="$(srcdir):.:" \
BIBINPUTS="$(srcdir):.:" \
BSTINPUTS="$(srcdir):.:" \
$(TEX) '\nonstopmode \input $<'
# The PolyORB HI User's Guide texi file does not provide Up links in
# @node commands, but we want to force generation of HTML
# documentation anyway.
$(GUIDE).html: $(srcdir)/$(GUIDE).texi
$(MAKEINFO) --css-include=$(srcdir)/polyorb_hi.css --html --number-sections $(srcdir)/$(GUIDE).texi -o $(GUIDE).html
rm -rf $(GUIDE).html/fig
mkdir -p $(GUIDE).html/fig
cp $(srcdir)/fig/*.png $(GUIDE).html/fig/
INDEX_FILE="$(GUIDE).html/index.html";\
TMP_FILE="$$INDEX_FILE.tmp"; \
cat "$$INDEX_FILE" | sed 's/$$LastChangedDate: \([^$$]*\) \$$/Last Modified: \1/g' > "$$TMP_FILE"; \
mv -f "$$TMP_FILE" "$$INDEX_FILE"
$(GUIDE).pdf: $(srcdir)/$(GUIDE).texi
-$(TEXI2DVI) -o $@ --pdf $<
po_hi_doc_dir=${shell $(CYGPATH_U) '$(OCARINA_PREFIX)/share/doc/ocarina'}
install-data-local: all
$(INSTALL) -d $(DESTDIR)$(po_hi_doc_dir)
$(INSTALL) -d $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html
$(INSTALL) -d $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html/fig
if [ -r $(builddir)/$(GUIDE).pdf ]; then \
$(INSTALL_DATA) $(builddir)/$(GUIDE).pdf $(DESTDIR)$(po_hi_doc_dir); \
for f in $(builddir)/$(GUIDE).html/*.html; do \
$(INSTALL_DATA) $$f $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html; \
done; \
for f in $(builddir)/$(GUIDE).html/fig/*.png; do \
$(INSTALL_DATA) $$f $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html/fig; \
done; \
fi
if [ -r $(srcdir)/$(GUIDE).pdf ]; then \
$(INSTALL_DATA) $(srcdir)/$(GUIDE).pdf $(DESTDIR)$(po_hi_doc_dir); \
for f in $(srcdir)/$(GUIDE).html/*.html; do \
$(INSTALL_DATA) $$f $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html; \
done; \
for f in $(srcdir)/$(GUIDE).html/fig/*.png; do \
$(INSTALL_DATA) $$f $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html/fig; \
done; \
fi
uninstall-local:
rm -f $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).pdf
rm -rf $(DESTDIR)$(po_hi_doc_dir)/$(GUIDE).html
clean-local:
@-rm -f *.aux *.log *.dvi *.bbl *.blg *~ *.bak *.toc
@-rm -f ${SRC_CODE} ${DOC_CODE} ${AADL_MODELS}
@-rm -f *.sed ${GUIDE_TEXIFILES}
realclean: clean
@-rm -f $(GUIDE).ps $(GUIDE).pdf $(GUIDE).info \
c.sed c.sed-stamp aadl.sed aadl.sed-stamp
DISTCLEANFILES = $(GUIDE).ps $(GUIDE).pdf $(GUIDE_TEXIFILES) \
c.sed c.sed-stamp aadl.sed aadl.sed-stamp
###############################################################################
# Texi generation from .h and .c files
#
%.h.texi: %.h $(top_srcdir)/support/gentexifile
$(MAKE) c.sed
$(SHELL) $(top_srcdir)/support/gentexifile $< NOGROUP
-@${RM} genout
%.c.texi: %.c $(top_srcdir)/support/gentexifile
$(MAKE) c.sed
$(SHELL) $(top_srcdir)/support/gentexifile $< NOGROUP
-@${RM} genout
%.texi: %.aadl $(top_srcdir)/support/gentexifile
$(MAKE) aadl.sed