Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Commit e6eb3cad authored by Philippe Veber's avatar Philippe Veber
Browse files

dune-project: removed useless dep on str

parent 3ec45f42
......@@ -2,10 +2,17 @@
(name reviewphiltrans_app)
(public_name reviewphiltrans)
(modules reviewphiltrans_app)
(libraries str reviewphiltrans)
(libraries reviewphiltrans)
(preprocess
(pps ppx_jane)))
(executable
(name orthomam_app)
(public_name orthomam)
(modules orthomam_app)
(libraries reviewphiltrans)
(preprocess (pps ppx_jane)))
(executable
(name diffseldsparse_benchmark)
(public_name diffseldsparse_benchmark)
......
......@@ -27,5 +27,4 @@ or to benchmark various tools.
biotope
ocaml-r
ocamlify
phylogenetics
str))
phylogenetics))
......@@ -19,7 +19,6 @@ depends: [
"ocaml-r"
"ocamlify"
"phylogenetics"
"str"
]
build: [
["dune" "subst"] {pinned}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment