- fixed syntax in dune-project

- added public_name to bin/dune
rems-project · Feb 20, 2024 · f65303c · f65303c
1 parent 0a633d1
commit f65303c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/bin/dune b/bin/dune
@@ -1,3 +1,4 @@
 (executable
+ (public_name coq_cheri_capabilities)
  (name main)
 (libraries coq_cheri_capabilities))
diff --git a/dune-project b/dune-project
@@ -17,7 +17,7 @@
  "\| and a concrete one for the Morello architecture.
  )
  (depends 
- (coq )
+ coq 
  (coq-stdpp (= dev.2023-12-26.0.dd93e4c3))
  coq-sail-stdpp
  coq-ext-lib