From f14e00ba0b3d091741f863b218398a1d316f258c Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 8 Oct 2020 08:54:38 +0200
Subject: [PATCH] [install] ./bin/frama-c-script

---
 bin/dune | 5 +++++
 dune     | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 bin/dune

diff --git a/bin/dune b/bin/dune
new file mode 100644
index 00000000000..4cede780218
--- /dev/null
+++ b/bin/dune
@@ -0,0 +1,5 @@
+(install
+ (package frama-c)
+ (section bin)
+ (files frama-c-script)
+)
diff --git a/dune b/dune
index 66a430ca57c..745177cd836 100644
--- a/dune
+++ b/dune
@@ -1 +1 @@
-(dirs src ptests tests share)
+(dirs src ptests tests share bin)
-- 
GitLab