Update dune-project

rems-project · Nov 2, 2024 · 835cec5 · 835cec5
1 parent ccecd6f
commit 835cec5
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/dune-project b/dune-project
@@ -13,7 +13,7 @@
 
 (license MIT BSD-2-Clause)
 
-; (documentation https://url/to/documentation)
+(documentation https://github.com/rems-project/c-tree-carver)
 
 (package
  (name c-tree-carver)
@@ -23,7 +23,7 @@
      (ocaml (>= 4.14.1))
      conf-c++
      (conf-cmake :dev)
-     (conf-llvm (= 15))
+     (conf-libclang (= 15))
      (conf-python-3 :with-test)
      (fileutils (>= 0.6.4))
      (shexp (>= v0.15.0))
@@ -34,11 +34,6 @@
  (tags
   (topics c clang tool tree-carving)))
 
-(package
- (name conf-libclang-15-dev)
- (allow_empty))
-
-
 (formatting)
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project