From badd0a21083698a72447247f3df479d28c627bfe Mon Sep 17 00:00:00 2001 From: "Boris D." Date: Thu, 10 Oct 2024 14:57:12 -0700 Subject: [PATCH] Build custom toplevel. --- toplevel/dune | 22 ++++++++++++++++++++++ toplevel/main.ml | 1 + 2 files changed, 23 insertions(+) create mode 100644 toplevel/dune create mode 100644 toplevel/main.ml diff --git a/toplevel/dune b/toplevel/dune new file mode 100644 index 00000000..b2cba432 --- /dev/null +++ b/toplevel/dune @@ -0,0 +1,22 @@ +(executable + (public_name cktop) + (package camlkit) + (name main) + (enabled_if (and + (= %{system} macosx) + (= %{context_name} default))) + (flags :standard -ccopt "-framework Cocoa") + (link_flags (-linkall)) + (modes byte) + (libraries + compiler-libs.toplevel + runtime + dispatch + Foundation + CoreFoundation + CoreGraphics + CoreAnimation + CoreText + CoreImage + AppKit + WebKit)) diff --git a/toplevel/main.ml b/toplevel/main.ml new file mode 100644 index 00000000..98cac035 --- /dev/null +++ b/toplevel/main.ml @@ -0,0 +1 @@ +let () = exit (Topmain.main ()) \ No newline at end of file