dune: build stdlib without injectivity annotations (#9932)

ocaml · Sep 22, 2020 · 7d9e60d · 7d9e60d
1 parent 9038c98
commit 7d9e60d
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/stdlib/dune b/stdlib/dune
@@ -29,7 +29,11 @@
           (run sed -i s/loc_FUNCTION/loc_POS/ %{input-file})
           (run awk -v dune_wrapped=true
                  -f %{dep:expand_module_aliases.awk} %{input-file})))
-      stdlib))))
+      stdlib)
+     (; FIXME: remove after 4.12 (this erases injectivity annotations)
+      (action (run sed "s/\\!\\([-+]*'\\)/\\1/g" %{input-file}))
+      atomic bigarray camlinternalAtomic camlinternalOO ephemeron hashtbl map
+      moreLabels queue stack stream weak))))
 
 (rule
  (targets sys.ml)