Commit a3a20b97 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Sync with feature_buster

parents df0fcadf 9f2c28ca
install:
- choco install gnat-gpl
- echo C:/Projects /Projects ntfs auto 1 1 >> c:\msys64\etc\fstab
- git clone https://github.com/OpenAADL/ocarina-build.git
build_script:
- C:\cygwin64\bin\bash --login -c "export PATH=/cygdrive/c/GNAT:/cygdrive/c/GNAT/bin:$PATH && $(cygpath ${APPVEYOR_BUILD_FOLDER})/ocarina-build/build_ocarina.sh --scenario=appveyor"
for:
-
branches:
only:
- master
artifacts:
- path: win32.zip
ignore:
- "tools/mknodes"
- "src/frontends/aadl_ema"
- "src/frontends/ao4aadl"
- "src/transfo"
- "doc"
name: Ocarina / GNAT Community Edition
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
linux:
name: ${{ matrix.os }} / ${{ matrix.tag }} ${{ matrix.year }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- ubuntu-latest
tag:
- community
year:
- 2020
steps:
- name: Check out repository
uses: actions/checkout@v2
- uses: actions/cache@v2
with:
path: ./cached_gnat
key: ${{ runner.os }}-gnat-ce-2020
- name: Install toolchain
uses: ada-actions/toolchain@ce2020
with:
distrib: ${{ matrix.tag }}
target: native
community_year: ${{ matrix.year }}
install_dir: ./cached_gnat
- name: Set up ocarina-builder
run: >
git clone https://github.com/OpenAADL/ocarina-build.git
- name: Build
run: ( cd ocarina-build ; ./build_ocarina.sh --scenario=github )
- name: Coverage
uses: codecov/codecov-action@v1
- name: Upload archive
uses: actions/upload-artifact@v2
with:
name: ocarina-linux
path: /home/runner/work/ocarina/ocarina/ocarina-build/ocarina/ocarina*linux*.tgz
macos:
name: ${{ matrix.os }} / ${{ matrix.tag }} ${{ matrix.year }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- macos-latest
tag:
- community
year:
- 2020
steps:
- name: Check out repository
uses: actions/checkout@v2
- uses: actions/cache@v2
with:
path: ./cached_gnat
key: ${{ runner.os }}-gnat-ce-2020
- name: Install toolchain
uses: ada-actions/toolchain@ce2020
with:
distrib: ${{ matrix.tag }}
target: native
community_year: ${{ matrix.year }}
install_dir: ./cached_gnat
- name: Install GNU tools
run: >
brew install automake autoconf coreutils
- name: Set up ocarina-builder
run: >
git clone https://github.com/OpenAADL/ocarina-build.git
- name: Build
run: ( cd ocarina-build ; ./build_ocarina.sh --scenario=github )
- name: Upload archive
uses: actions/upload-artifact@v2
with:
name: ocarina-macos
path: /Users/runner/work/ocarina/ocarina/ocarina-build/ocarina/ocarina*darwin*.tgz
windows:
name: ${{ matrix.os }} / ${{ matrix.tag }} ${{ matrix.year }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
os:
- windows-latest
tag:
- community
year:
- 2020
steps:
- name: Check out repository
uses: actions/checkout@v2
- uses: actions/cache@v2
with:
path: ./cached_gnat
key: ${{ runner.os }}-gnat-ce-2020
- name: Install toolchain
uses: ada-actions/toolchain@ce2020
with:
distrib: ${{ matrix.tag }}
target: native
community_year: ${{ matrix.year }}
install_dir: ./cached_gnat
- name: Install GNU tools
uses: msys2/setup-msys2@v2
with:
msystem: MSYS
install: autoconf automake git make zip
- name: Set up ocarina-builder
run: >
git clone https://github.com/OpenAADL/ocarina-build.git
- name: Debug
shell: bash
run: >
echo $PATH
- name: Build
shell: msys2 {0}
run: ( export PATH=/d/a/ocarina/ocarina/cached_gnat/gnat-2020-20200818-x86_64-windows-bin/bin:$PATH ; echo $PATH ; cd ocarina-build ; ./build_ocarina.sh --scenario=github )
- name: Upload archive
uses: actions/upload-artifact@v2
with:
name: ocarina-windows
path: D:\a\ocarina\ocarina\ocarina-build\ocarina\ocarina*windows*.zip
name: Ocarina / Ubuntu (default GNAT)
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Set up GNAT toolchain (Ubuntu default distribution)
run: >
sudo apt-get update &&
sudo apt-get install gnat gprbuild
- name: Set up ocarina-builder
run: >
git clone https://github.com/OpenAADL/ocarina-build.git
- name: Build
run: ( cd ocarina-build ; ./build_ocarina.sh --scenario=github )
################################################################################
# Ocarina travis-ci configuration file.
# This script compiles and test Ocarina for Linux and OS X targets
#
# Note: this travis-ci script is adapted from
# https://github.com/AdaCore/Ada_Drivers_Library
#
# Thanks to AdaCore for providing it
################################################################################
# Note: we are using 'generic' as a language. We need GNAT to compile
# Ocarina, and Python to run Ocarina testsuite. We install a specific
# GNAT GPL release to compile and run everything.
language: generic
osx_image: xcode8.3
# Global variables
env:
global:
- TOOLS_DIR=$HOME/build_tools
- INSTALL_DIR=$HOME/tools
################################################################################
# Host to run the various tests
os:
- linux
- osx
################################################################################
# Install the build environment, derived from travis default installation
# 1/ Cache directory that allows us to not download GNAT GPL every time,
# speeding up the process.
cache:
directories:
- $HOME/build_tools
- $HOME/tools
# 2/ Check Python installation
before_install:
- which python
# 3/ Install GNAT
install:
- git clone https://github.com/OpenAADL/ocarina-build.git ; ( cd ocarina-build ; ./build_ocarina.sh --install-gnat-ce ; cd $HOME)
- export PATH=$HOME/tools/bin:$PATH
- echo $PATH
################################################################################
# Main processing starts here
script:
# Show GNAT version for the record
- gcc --version
- gnatls -v
# Just build
- ( cd ocarina-build ; ./build_ocarina.sh --scenario=travis-ci )
# Codecov.io
after_success:
- bash <(curl -s https://codecov.io/bash)
################################################################################
#
before_deploy:
- export OCARINA_SRC=$(find . -name "*tar.gz")
- echo $OCARINA_SRC
- export OCARINA_BIN=$(find . -name "*tgz")
- echo $OCARINA_BIN
deploy:
provider: releases
api_key:
secure: JIs5VZq+T0m42jasHpuDHXjJwgmQNGDaNJos9xHG01b5tvrG9NRIPjB4AFh1RiJBQ8LYFRpcRkrEzbAHs9H4jh7zLrdaAGRo6v0G/h5aowWNGoTiT6sMy5ATX6cuMO/treCEWWEUpUsDy5GSebsRkGhbMjH3d2kZ3933SJIg+kI=
skip_cleanup: true
file:
- "${OCARINA_SRC}"
- "${OCARINA_BIN}"
on:
tags: true
all_branches: true
Ocarina AADL toolset |docs|
Ocarina AADL toolset |docs|
====================
Latest release: |release|
About:
About:
------
Ocarina is an AADL model processor, it acts as a "compiler" for AADL models.
As a front-end, it supports
* AADLv2 language from `AS5506C standard <http://standards.sae.org/as5506c/>`_,
* AADLv2 language from `AS5506C standard <http://standards.sae.org/as5506c/>`_,
* the Behavioral annex from `AS5506/1 standard <http://standards.sae.org/as5506/a/>`_
* the ARINC653 and the EMV2 annexes from `AS5506/1A standard <http://standards.sae.org/as5506/1a/>`_
......@@ -24,7 +24,7 @@ As a back-end, it supports
It can be integrated with the `AADLib <https://github.com/OpenAADL/AADLib>`_ library of AADL components.
It can also be embedded in AADL editors: in `OSATE <http://osate.org>`_ using the `OSATE2 plugin <https://github.com/OpenAADL/osate2-ocarina>`_, and `AADL Inspector <http://www.ellidiss.fr/public/wiki/wiki/inspector>`_
It can also be embedded in AADL editors: in `OSATE <http://osate.org>`_ using the `OSATE2 plugin <https://github.com/OpenAADL/osate2-ocarina>`_, and `AADL Inspector <http://www.ellidiss.fr/public/wiki/wiki/inspector>`_ or advanced system processing suite like `TASTE by the European Space Agency <https://www.taste.tools>`_
Installation:
-------------
......@@ -35,21 +35,16 @@ Q&A:
----
+----------------------------------+---------------+
| Build status for Linux and OS X ||build-status| |
+----------------------------------+---------------+
| Build status for Windows ||appveyor| |
| Build status GitHub actions ||github| |
+----------------------------------+---------------+
| Code coverage | |coverage| |
+----------------------------------+---------------+
| CII Best practice | |cii| |
+----------------------------------+---------------+
.. |build-status| image:: https://travis-ci.org/OpenAADL/ocarina.svg?branch=master
:target: https://travis-ci.org/OpenAADL/ocarina
.. |github| image:: https://github.com/OpenAADL/ocarina/workflows/Ocarina/badge.svg
:target: https://github.com/OpenAADL/ocarina/actions?query=workflow%3AOcarina
.. |appveyor| image:: https://ci.appveyor.com/api/projects/status/github/openaadl/ocarina
:target: https://ci.appveyor.com/project/yoogx/ocarina
.. |docs| image:: https://readthedocs.org/projects/docs/badge/?version=latest
:alt: Documentation Status
:scale: 100%
......@@ -62,7 +57,7 @@ Q&A:
.. |release| image:: https://img.shields.io/github/release/OpenAADL/ocarina.svg
:target: https://github.com/OpenAADL/ocarina/releases
:alt: GitHub Releases
.. |cii| image:: https://bestpractices.coreinfrastructure.org/projects/1019/badge
:target: https://bestpractices.coreinfrastructure.org/projects/1019
:alt: CII Best practice
......@@ -114,10 +114,6 @@ case "$(uname -s)" in
CYGWIN*)
path_conv="cygpath -w"
;;
MINGW32*|MSYS*)
echo "Unsupported build configuration"
exit -1
;;
esac
# The default value of the path separator is ':'. By default we use
......
ocarina for Debian
------------------
Documentation is available on ocarina website at http://aadl.enst.fr
-- Julien Delange <julien.delange@telecom-paristech.fr> Mon, 03 Mar 2008 13:01:28 +0100
ocarina (4165-1) unstable; urgency=low
* Fix error when building the package
-- Julien Delange <julien.delange@telecom-paristech.fr> Mon, 10 Mar 2008 13:01:28 +0100
ocarina (4155-1) unstable; urgency=low
* Initial release
-- Julien Delange <julien.delange@telecom-paristech.fr> Mon, 03 Mar 2008 13:01:28 +0100
Source: ocarina
Section: x11
Priority: extra
Maintainer: Julien Delange <julien.delange@telecom-paristech.fr>
Build-Depends: debhelper (>= 5), autotools-dev, gnat-4.3
Standards-Version: 3.7.2
Package: ocarina
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Description: AADL manipulation program
Ocarina is used to manipulate and check AADL program.
It can generate code using middleware such as PolyORB,
PolyORB-HI or PolyORB-HI-C.
This package was debianized by Julien Delange <julien.delange@telecom-paristech.fr> on
Mon, 03 Mar 2008 13:01:28 +0100.
It was downloaded from http://aadl.enst.fr
Upstream Author(s): Jerome Hugues, Laurent Pautet, Bechir Zalila
<name@enst.fr>
Copyright:
<Copyright (C) 2008 GET TELECOM ParisTech>
License:
GNAT Modified GPL licence
It derivates from the original GPL licence, the modification is as follows :
As a special exception, if other files instantiate generics from this unit,
or you link this unit with other files to produce an executable, this unit
does not by itself cause the resulting executable to be covered by the GNU
General Public License. This exception does not however invalidate any other
reasons why the executable file might be covered by the GNU Public License.
The Debian packaging is (C) 2008, Julien Delange <julien.delange@telecom-paristech.fr> and
is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
# Please also look if there are files or directories which have a
# different copyright/license attached and list them here.
NEWS
README
TODO
ocarina_4155-1_i386.deb x11 extra
doc/ocarina.info
#!/usr/bin/make -f
# -*- makefile -*-
# Sample debian/rules that uses debhelper.
# This file was originally written by Joey Hess and Craig Small.
# As a special exception, when this file is copied by dh-make into a
# dh-make output file, you may use that output file without restriction.
# This special exception was added by Craig Small in version 0.37 of dh-make.
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
# These are used for cross-compiling and for saving the configure script
# from having to guess our platform (since we know it already)
DEB_HOST_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
DEB_BUILD_GNU_TYPE ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
config.status: configure
dh_testdir
# Add here commands to configure the package.
ifneq "$(wildcard /usr/share/misc/config.sub)" ""
cp -f /usr/share/misc/config.sub config.sub
endif
ifneq "$(wildcard /usr/share/misc/config.guess)" ""
cp -f /usr/share/misc/config.guess config.guess
endif
./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info CFLAGS="$(CFLAGS)" LDFLAGS="-Wl,-z,defs" --enable-debug
build: build-stamp
build-stamp: config.status
dh_testdir
# Add here commands to compile the package.
$(MAKE)
#docbook-to-man debian/ocarina.sgml > ocarina.1
touch $@
clean:
dh_testdir
dh_testroot
rm -f build-stamp
# Add here commands to clean up after the build process.
$(MAKE) distclean
rm -f config.sub config.guess
dh_clean
install: build
dh_testdir
dh_testroot
dh_clean -k
dh_installdirs
# Add here commands to install the package into debian/ocarina.
$(MAKE) DESTDIR=$(CURDIR)/debian/ocarina install
mv $(CURDIR)/debian/ocarina/usr/examples $(CURDIR)/debian/ocarina/usr/share/doc/ocarina/
# Build architecture-independent files here.
binary-indep: build install
# We have nothing to do by default.
# Build architecture-dependent files here.
binary-arch: build install
dh_testdir
dh_testroot
dh_installchangelogs ChangeLog
dh_installdocs
dh_installexamples
# dh_install
# dh_installmenu
# dh_installdebconf
# dh_installlogrotate
# dh_installemacsen
# dh_installpam
# dh_installmime
# dh_python
# dh_installinit
# dh_installcron
# dh_installinfo
# dh_installman
dh_link
dh_strip
dh_compress
dh_fixperms
# dh_perl
# dh_makeshlibs
dh_installdeb
dh_shlibdeps
dh_gencontrol
dh_md5sums
dh_builddeb
binary: binary-indep binary-arch
.PHONY: build clean binary-indep binary-arch binary install
......@@ -6,7 +6,8 @@
-- --
-- P r o j e c t --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, --
-- 2010-2019 ESA & ISAE, 2019-2020 OpenAADL --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -24,8 +25,8 @@
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
-- Ocarina is maintained by OpenAADL team --
-- (info@openaadl.org) --
-- --
------------------------------------------------------------------------------
......
......@@ -6,7 +6,8 @@
-- --
-- P r o j e c t --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, --
-- 2010-2019 ESA & ISAE, 2019-2020 OpenAADL --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -24,8 +25,8 @@
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
-- Ocarina is maintained by OpenAADL team --
-- (info@openaadl.org) --
-- --
------------------------------------------------------------------------------
......
......@@ -6,7 +6,8 @@
-- --
-- P r o j e c t --
-- --
-- Copyright (C) 2008-2009 Telecom ParisTech, 2010-2015 ESA & ISAE. --
-- Copyright (C) 2008-2009 Telecom ParisTech, --
-- 2010-2019 ESA & ISAE, 2019-2020 OpenAADL --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -24,8 +25,8 @@
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
-- Ocarina is maintained by OpenAADL team --
-- (info@openaadl.org) --
-- --
------------------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment