dune: temporarily remove use of new primitive before building

2020-06-24 15:07:16 +02:00 · 2020-06-24 15:07:16 +02:00 · 7bf55c6c54
parent 038fb85bac
commit 7bf55c6c54
1 changed files with 5 additions and 2 deletions
--- a/stdlib/dune
+++ b/stdlib/dune
@ -24,8 +24,11 @@
 (preprocess
   (per_module
     ((action
-        (run awk -v dune_wrapped=true
-               -f %{dep:expand_module_aliases.awk} %{input-file}))
+        (progn
+          ; FIXME: remove after 4.12
+          (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))))

 (rule