From 4c88c92c81f589359ac189988e80441275de07c1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 20 Jun 2023 12:02:59 +0200
Subject: [PATCH] [machdep] provide new command in frama-c-script to launch
make_machdep easily
---
bin/frama-c-script | 5 +++++
share/dune | 4 +++-
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index 669573f5394..3e2bfc9335f 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -279,6 +279,11 @@ case "$command" in
shift;
${FRAMAC_LIB}/analysis-scripts/creduce.sh "$@";
;;
+ "make-machdep")
+ shift;
+ ${FRAMAC_LIB}/make_machdep/make_machdep.py \
+ --machdep-schema ${FRAMAC_SHARE}/machdeps/machdep-schema.yaml "$@"
+ ;;
*)
echo "error: unrecognized command: $command";
exit 1
diff --git a/share/dune b/share/dune
index 77f771002d1..a966a4d2e55 100644
--- a/share/dune
+++ b/share/dune
@@ -339,7 +339,9 @@
(machdeps/machdep_gcc_x86_32.yaml as share/machdeps/machdep_gcc_x86_32.yaml)
(machdeps/machdep_gcc_x86_64.yaml as share/machdeps/machdep_gcc_x86_64.yaml)
(machdeps/machdep_msvc_x86_64.yaml as share/machdeps/machdep_msvc_x86_64.yaml)
- (machdeps/machdep_ppc_32.yaml as share/machdeps/machdep_ppc_32.yaml))
+ (machdeps/machdep_ppc_32.yaml as share/machdeps/machdep_ppc_32.yaml)
+ (machdeps/machdep-schema.yaml as share/machdeps/machdep-schema.yaml)
+ )
)
; machdep generation script
--
GitLab