diff --git a/bin/dune b/bin/dune
new file mode 100644
index 0000000000000000000000000000000000000000..4cede780218ec781bd109eb9be44d10bba2b09b1
--- /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 66a430ca57cd17fe6d6aee55f54cd56539728f8b..745177cd8363402ae2620fc2851f9f5233e0531c 100644
--- a/dune
+++ b/dune
@@ -1 +1 @@
-(dirs src ptests tests share)
+(dirs src ptests tests share bin)