18 Commits

Author SHA1 Message Date
M. Anthony Aiello
375c977ee0 Improve run_example.py
Recent updates to linters revealed a number of potential code-quality
issues.

Most were related to the use of f-strings in loggers, which is
discouraged because the string interpolation is greedy (happens even if
that logging level is disabled) and because it makes the job of log
aggregators more difficult (unlikely to matter to us).

There was an instance of use of a "global" that was not intended to be
such. This was spotted by moving the core script-like functionality into
a function, which avoided adding names to the global namespace.

The script is also renamed to conform to python module-naming
conventions.

All warnings and errors are resolved, except the overly broad catching
of Exception, which is explicitly silenced.

Add a workflow for running the HelloWorld example in CI as a simple
sanity check on run-example functionality.
2022-03-24 11:23:03 -04:00
M. Anthony Aiello
5712513b30 Bootstrap Integration (#24)
* Integrate OpenUxAS-bootstrap into OpenUxAS

This commit represents a complete, working integration along with
several key enhancements. Note that the README is entirely unchanged and
not suitable.

***NOTE: the build will fail currently because of a problem with e3***
e3 provides no way to modify the list of excluded globs for sync_tree;
this will need to be fixed.

The bootstrap script works and will download and install needed support
for anod. The instructions printed at the end of the install are out of
date; the user doesn't need to do anything more than call anod with

    ./anod build uxas

The top-level anod script takes care of activating the python venv and
then calls the python anod script.

The user can also `source anod`, which will then register anod as a
shell function, allowing simpler invocation and a working setenv
command.

Anod's devel setup no longer supports uxas, since that's superfluous. It
does support lmcpgen and amase. They are placed in `develop` as before,
although finding a better name for the containing directory seems nice.

run-example works, as does resources/RunLmcpGen

make works

VS Code integration works

There is definite room for improvement. Specifically, factoring the
informtion about repository structure into some central set of
includable scripts seems like it should be really useful. Likewise,
anod's support should be a real python module so that it's easier to
use.

Finally, there's no reason not to automatically install the python venv
and all needed support the first time anod is invokved (including from
make). This would eliminate a needed step by the user. We could still
retain the bootstrap script if desired.

* Rename and create constants for repo structure

This commit reorganizes the directories a bit and introduces better
handling of pathnames through constants defined in paths.sh.
Unfortunately, because of the way python handles environment variables,
(and because we can't necessarily assume that python scripts are always
invoked through shell scripts that call paths.sh) we have to duplicate a
lot of the path information; this will hopefully be addressed in a
future commit.

* Refactor infrastructure and add github workflows.

OpenUxAS anod support is now a proper python module named `uxas`. Paths
within the uxas module are refactored. The module directory under
infrastructure/uxas has the expected layout for a python module project
and includes a tox.ini file so that tox can be used for development and
in CI.

infrastructure/install is now a script that calls into python scripts in
infrastructure/install-libexec; these are not a proper python module,
since that would create a chicken-and-egg problem. There is a tox.ini
file here, too, for development and CI.

infrastructure/bootstrap is the new bootstrap script, which is less
useful now but still usable.

Scripts have been updated as needed to take advantage of the uxas python
module. In particular, anod and run-example check for the python venv
and call into infrastructure/install if needed.

* Add Ada support and improve scripts

Added support for Ada back in by reactivating and updating
install-gnat.py Added Ada build-prove workflow

Refactored venv activation to paths.sh

Added ensure_gnat, which will check for gnat on the path (via which) or
will add a local install of GNAT CE to the path (if it's there) or will
offer to install GNAT CE via install-gnat.py This means the user can
always choose a different GNAT and it will be used; otherwise, the local
install of GNAT CE will be used.

Added wrapper shell scripts for the python testing and proof scripts so
that the environment can be automatically configured.

Updated the C++ workflow

Note: sourcing anod and then running anod as a shell function isn't
behaving quite right in either bash or zsh (and for different reasons).
Needs further investigation.

* Add debug output to print commands executed.

This should address concern that users won't be able to figure out what
the scripts are doing if things break and require manual intervention.

Also modify the workflows so that they will run if critical scripts are
updated.

* Enhance run-example to better search for binaries.

run-example now follows similar logic to run-tests in searching for
binaries. uxas and uxas-ada are also special-cased so that searching
locally and in anod should succeed as expected. The search order is:

1. path (using `which`)
2. local (obj/cpp/uxas or src/ada/uxas-ada)
3. anod (inside uxas-release or uxas-ada-release)

run-example also follows similar logic in search for OpenAMASE:

1. specified via argument
2. local (develop/OpenAMASE)
3. anod (inside amse)

I believe these have all been tested.

Help / error strings have been updated so that they are consistent with
the new infrastructure.

Debug output has been improved to be more consistent with that provided
by e3 (but doesn't actually directly use e3, still).

This commit also improves the .gitignore for ada support and updates the
Makefile so that it removes the binary on clean.

* Update README and scripts.

Create a temporary README with testing instructions.

Also fix some issues in the debug output of the scripts (the $ was not
escaped properly in some instances).

* Relativize path to anod in run-example

This looks nicer and better supports the common case: in which the user
runs run-example from the repo root.

* Fix python version in Makefile

Makefile was using python to determine the platform; this was one of a
few remaining non-python3 uses of `python`. Having fixed it, things
seem to work smoothly on a machine where python ≠ python3.

* Don't install GNAT CE by default.

Most users won't want to build Ada, so offering to install GNAT CE by
default is likely to just be confusing.

* Change the way Java is installed.

Rather than installing Java (OpenJDK 13) by way of anod in the sandbox,
instead install Java (OpenJDK 11) by way of apt. This results in Java
being available system-wide and avoids having to put ant/java on the
path using anod commands for things like generating LMCP.

Update workflows to install Java using the appropriate github action.
This should reduce the number of spurious build failures we've
encountered.

* Fix run-example issue for uxas-ada.

The shared library for uxas-ada wasn't being placed on the path.
Additionally, there was an unconditional and unlogged exit leftover from
testing in the python script.

* Update anod self-install process to be automatic.

Rather than running the install script in interactive mode, give the
user a full message up front that explains what will happen, followed by
a choice to continue. Then, run the install script in automatic mode.

This avoids some confusion identified whereby the script seems to ask
multiple times to do things in a way that's not particularly helpful
when the expectation is that it will just "take care of things" for the
user.

* Update the README

This new version of the README is tailored to the changes that were made
to integrated -bootstrap into this repository. It is intended to be
minimal and simple. Detail will be provided later to the documentation
site that AFRL is setting up. Once that site is live, links will be made
from this README to that site.

* Improve script with debug_and_run

Rather than printing the string for a command and then separately
issuing the command, we pass the string form of the command to a debug
print method and then eval the string. This removes duplication and
ensures that the printed command really is the command that is executed.

* Minor improvements to README

Fix a couple of typos.
2021-04-01 15:30:51 -04:00
M. Anthony Aiello
041d7cc357 Refactor the repository.
This commit makes significant effort towards refactoring the repository
so that it is in a cleaner and more consistent state going forward.

Since we are now explicitly expecting multiple languages to be used for
OpenUxAS, we have reorganized `src` accordingly. Likewise, we have
reorganized `tests`.

This is a candidate for the rebaseline of afrl-rq/OpenUxAS.
2020-07-24 08:39:41 -04:00
M. Anthony Aiello
ba47d6834c Bugfix/run tests without coverage (#54)
* Fix run-tests when coverage is not available

We were using the presence of the UXAS_SOURCE_DIR and UXAS_BUILD_DIR
variables to tell us that coverage information had been computed during
the uxas build - but that is not precise. Those variables are now always
set by `anod printenv`. The fix is to check for the presence of files
generated by gcov, which is more precise.

* Update gitignore for recently added outputs

Now ignoring obj, and outputs in testsuite.

* Update the workflow for fixed run-tests

Also remove the switches to bootstrap for no-gnat, since that is now the
default behavior of bootstrap.
2020-07-15 10:19:56 -04:00
Joffrey Huguet
8b0425cc9b Add proof dir to afrl_ada_dev.gpr and add session files 2020-06-04 19:33:16 +02:00
Nicolas Roche
62986e8c30 Various build improvement:
* Force use of python 3.x
* Remove AdaCore specific build procedure
* Automate java installation
* Improve documentation
2019-11-28 12:00:02 +01:00
Nicolas Roche
ec7e21bb8c Use local directory for uxas during build 2019-10-18 16:07:57 +02:00
Nicolas Roche
bd05860a7e Add first draft of Python api to send/receive LMCP messages 2019-10-17 10:53:27 +02:00
David Casbeer
df51e719b8 Added vscode files to .gitignore 2018-03-29 10:40:43 -04:00
Derek Kingston
9cb0d5b8cc Update ZeroMQ to 4.2.3 and Zyre to 2.0.0 2017-12-19 16:35:37 -05:00
Steve Rasmussen
05059983f6 change to facilitate building odroid version 2017-09-13 18:49:07 -04:00
derekkingston
1bcdf7ff37 Updated build for afrl_internal compatibility 2017-05-31 14:58:20 -04:00
Adam C. Foltzer
8ced320880 make czmq wrap more Windows-friendly 2017-05-23 11:52:08 -07:00
Adam C. Foltzer
df1823c8cb tweak to fix AFRL internal build 2017-05-10 16:40:00 -07:00
Adam C. Foltzer
7dc19e8f65 move all 3rd-party subprojects to 3rd
This cleans up the root directory substantially. The modifications to
the `prepare` script also set it up to work better on Windows.
2017-05-10 15:07:50 -07:00
Derek Kingston
bbd938258c Updated README to describe creating all documentation 2017-05-07 15:19:51 -04:00
derek.kingston
3a88954a1e Made examples consistent, added example output to .gitignore 2017-05-07 12:06:52 -04:00
derek.kingston
fd20d8b5e4 Functional tests updated; added .gitignore 2017-05-07 11:57:29 -04:00