Merge pull request #35 from dinosaure/export-lib

Export the codept library
Octachron · Apr 23, 2024 · 9034359 · 9034359
2 parents 36bbd99 + 105d046
commit 9034359
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/dune b/lib/dune
@@ -11,6 +11,7 @@
 
 (library
   (name codept_lib)
+  (public_name codept.lib)
   (wrapped false)
   (libraries compiler-libs.common)
   (flags (:standard -w -30))