From 57082257fd51f43951b481686d5fbf51b7f6f191 Mon Sep 17 00:00:00 2001 From: Thomas Watson Date: Sun, 11 Aug 2024 11:29:38 -0500 Subject: [PATCH] AP_NavEKF3: derivation: make generation slightly easier Add a shell script to run the generate_1.py file. Foresight tells us that we will need multiple such files. Also ignore the generated code files as they are already out of date and we are aiming to document provenance and make them unnecessary anyway. --- libraries/AP_NavEKF3/derivation/.gitignore | 1 + libraries/AP_NavEKF3/derivation/generate.sh | 7 +++++++ libraries/AP_NavEKF3/derivation/{main.py => generate_1.py} | 0 3 files changed, 8 insertions(+) create mode 100644 libraries/AP_NavEKF3/derivation/.gitignore create mode 100755 libraries/AP_NavEKF3/derivation/generate.sh rename libraries/AP_NavEKF3/derivation/{main.py => generate_1.py} (100%) diff --git a/libraries/AP_NavEKF3/derivation/.gitignore b/libraries/AP_NavEKF3/derivation/.gitignore new file mode 100644 index 0000000000..e83c02b2ea --- /dev/null +++ b/libraries/AP_NavEKF3/derivation/.gitignore @@ -0,0 +1 @@ +generated/*.cpp diff --git a/libraries/AP_NavEKF3/derivation/generate.sh b/libraries/AP_NavEKF3/derivation/generate.sh new file mode 100755 index 0000000000..0bf1b06af6 --- /dev/null +++ b/libraries/AP_NavEKF3/derivation/generate.sh @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +cd "$(dirname "$0")" +rm -rf generated # ensure generated directory exists and is empty +mkdir -p generated + +./generate_1.py diff --git a/libraries/AP_NavEKF3/derivation/main.py b/libraries/AP_NavEKF3/derivation/generate_1.py similarity index 100% rename from libraries/AP_NavEKF3/derivation/main.py rename to libraries/AP_NavEKF3/derivation/generate_1.py