Build custom toplevel.

dboris · Oct 10, 2024 · badd0a2 · badd0a2
1 parent 2188fec
commit badd0a2
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/toplevel/dune 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
@@ -0,0 +1 @@
+let () = exit (Topmain.main ())