From 492ea9d2fe2b9ab42770ad5316ab6d034adfccc3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 21 Feb 2023 19:31:12 +0100
Subject: [PATCH] [machdeps] install machdeps and generator in share and lib
 respectively

---
 share/dune | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)

diff --git a/share/dune b/share/dune
index b086bb6380a..062f2f383f4 100644
--- a/share/dune
+++ b/share/dune
@@ -326,3 +326,62 @@
 (analysis-scripts/template.mk as lib/analysis-scripts/template.mk)
 
 ))
+
+; machdeps
+(install
+ (package frama-c)
+ (section share)
+ (files
+  (machdeps/machdep_avr_16.json as share/machdeps/machdep_avr_16.json)
+  (machdeps/machdep_x86_16.json as share/machdeps/machdep_x86_16.json)
+  (machdeps/machdep_x86_32.json as share/machdeps/machdep_x86_32.json)
+  (machdeps/machdep_x86_64.json as share/machdeps/machdep_x86_64.json)
+  (machdeps/machdep_gcc_x86_16.json as share/machdeps/machdep_gcc_x86_16.json)
+  (machdeps/machdep_gcc_x86_32.json as share/machdeps/machdep_gcc_x86_32.json)
+  (machdeps/machdep_gcc_x86_64.json as share/machdeps/machdep_gcc_x86_64.json)
+  (machdeps/machdep_ppc_32.json as share/machdeps/machdep_ppc_32.json))
+)
+
+; machdep generation script
+(install
+ (package frama-c)
+ (section libexec)
+ (files
+  (machdeps/make_machdep/make_machdep.py as lib/make_machdep/make_machdep.py))
+)
+
+; machdep generation auxiliary files
+(install
+ (package frama-c)
+ (section lib)
+ (files
+  (machdeps/make_machdep/alignof_aligned.c as lib/make_machdep/alignof_aligned.c)
+  (machdeps/make_machdep/alignof_double.c as lib/make_machdep/alignof_double.c)
+  (machdeps/make_machdep/alignof_float.c as lib/make_machdep/alignof_float.c)
+  (machdeps/make_machdep/alignof_fun.c as lib/make_machdep/alignof_fun.c)
+  (machdeps/make_machdep/alignof_int.c as lib/make_machdep/alignof_int.c)
+  (machdeps/make_machdep/alignof_long.c as lib/make_machdep/alignof_long.c)
+  (machdeps/make_machdep/alignof_longdouble.c as lib/make_machdep/alignof_longdouble.c)
+  (machdeps/make_machdep/alignof_longlong.c as lib/make_machdep/alignof_longlong.c)
+  (machdeps/make_machdep/alignof_ptr.c as lib/make_machdep/alignof_ptr.c)
+  (machdeps/make_machdep/alignof_short.c as lib/make_machdep/alignof_short.c)
+  (machdeps/make_machdep/alignof_str.c as lib/make_machdep/alignof_str.c)
+  (machdeps/make_machdep/char_is_unsigned.c as lib/make_machdep/char_is_unsigned.c)
+  (machdeps/make_machdep/const_string_literals.c as lib/make_machdep/const_string_literals.c)
+  (machdeps/make_machdep/has__builtin_va_list.c as lib/make_machdep/has__builtin_va_list.c)
+  (machdeps/make_machdep/little_endian.c as lib/make_machdep/little_endian.c)
+  (machdeps/make_machdep/ptrdiff_t.c as lib/make_machdep/ptrdiff_t.c)
+  (machdeps/make_machdep/sizeof_double.c as lib/make_machdep/sizeof_double.c)
+  (machdeps/make_machdep/sizeof_float.c as lib/make_machdep/sizeof_float.c)
+  (machdeps/make_machdep/sizeof_fun.c as lib/make_machdep/sizeof_fun.c)
+  (machdeps/make_machdep/sizeof_int.c as lib/make_machdep/sizeof_int.c)
+  (machdeps/make_machdep/sizeof_long.c as lib/make_machdep/sizeof_long.c)
+  (machdeps/make_machdep/sizeof_longdouble.c as lib/make_machdep/sizeof_longdouble.c)
+  (machdeps/make_machdep/sizeof_longlong.c as lib/make_machdep/sizeof_longlong.c)
+  (machdeps/make_machdep/sizeof_ptr.c as lib/make_machdep/sizeof_ptr.c)
+  (machdeps/make_machdep/sizeof_short.c as lib/make_machdep/sizeof_short.c)
+  (machdeps/make_machdep/sizeof_void.c as lib/make_machdep/sizeof_void.c)
+  (machdeps/make_machdep/size_t.c as lib/make_machdep/size_t.c)
+  (machdeps/make_machdep/wchar_t.c as lib/make_machdep/wchar_t.c)
+  (machdeps/make_machdep/make_machdep_common.h as lib/make_machdep/make_machdep_common.h)
+))
-- 
GitLab