diff --git a/examples/custom-utop/dune b/examples/custom-utop/dune index 3da237b..e20eac7 100644 --- a/examples/custom-utop/dune +++ b/examples/custom-utop/dune @@ -1,5 +1,4 @@ (executable (name myutop) - (flags :standard -safe-string) (link_flags -linkall) (libraries utop)) diff --git a/examples/interact/dune b/examples/interact/dune index 335158a..07cc6b2 100644 --- a/examples/interact/dune +++ b/examples/interact/dune @@ -1,5 +1,4 @@ (executable (name test_program) - (flags :standard -safe-string) (link_flags -linkall) (libraries utop)) diff --git a/src/lib/dune b/src/lib/dune index acd4b65..b197180 100644 --- a/src/lib/dune +++ b/src/lib/dune @@ -2,7 +2,6 @@ (name uTop) (public_name utop) (wrapped false) - (flags :standard -safe-string) (modes byte) (libraries compiler-libs.toplevel findlib.top lambda-term logs.lwt threads zed) (preprocess diff --git a/src/top/dune b/src/top/dune index 668581d..af7d175 100644 --- a/src/top/dune +++ b/src/top/dune @@ -1,7 +1,6 @@ (executables (names utop) (libraries utop) - (flags :standard -safe-string) (modes byte) (link_flags -linkall)) diff --git a/src/top/expunge/dune b/src/top/expunge/dune index b354c7a..4d6bf78 100644 --- a/src/top/expunge/dune +++ b/src/top/expunge/dune @@ -1,4 +1,3 @@ (executable (name expunge) - (flags :standard -safe-string) (libraries unix))