Skip to content

Commit

Permalink
dune files cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
trefis committed Jan 19, 2021
1 parent d0f8007 commit 1017c9e
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 8 deletions.
10 changes: 2 additions & 8 deletions stdlib/dune
Expand Up @@ -24,16 +24,10 @@
(preprocess
(per_module
((action
(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})))
-f %{dep:expand_module_aliases.awk} %{input-file}))
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)
Expand Down
2 changes: 2 additions & 0 deletions toplevel/dune
Expand Up @@ -12,6 +12,8 @@
;* *
;**************************************************************************

(copy_files# byte/*.ml)

(library
(name ocamltoplevel)
(wrapped false)
Expand Down

0 comments on commit 1017c9e

Please sign in to comment.