Fix dune.

DavidAlphaFox · May 20, 2024 · a2bce05 · a2bce05
1 parent 27181dc
commit a2bce05
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/appkit_extra/dune b/appkit_extra/dune
@@ -1,14 +1,4 @@
 (library
  (name appkit_extra)
  (public_name camlkit-gui.appkit-extra)
- (flags :standard %{read:flags.txt})
  (libraries foundation))
-
-(rule (enabled_if (= %{system} macosx))
- (target "flags.txt")
- (action
- (with-stdout-to %{target} (run echo "-ccopt \"-framework AppKit\""))))
-
-(rule (enabled_if (<> %{system} macosx))
- (target "flags.txt")
- (action (with-stdout-to %{target} (run echo ""))))