commenting out prelude-src from cerberus.opam

rems-project · Jul 1, 2023 · 90fda41 · 90fda41
1 parent a2393d9
commit 90fda41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cerberus.opam b/cerberus.opam
@@ -34,7 +34,7 @@ depends: [
 ]
 build: [
  ["dune" "subst"] {pinned}
- [make "prelude-src"]
+ # [make "prelude-src"]
  ["dune"
  "build"
  "-p"