[install] ./bin/frama-c-script

f14e00ba · Patrick Baudin · 9218819c · f14e00ba · f14e00ba
Commit f14e00ba authored 4 years ago by Patrick Baudin
--- a/bin/dune
+++ b/bin/dune
+(install
+ (package frama-c)
+ (section bin)
+ (files frama-c-script)
+)
--- a/dune
+++ b/dune
-(dirs src ptests tests share)
+(dirs src ptests tests share bin)