From 6d4dc201f7d282f9ca23bdf3a80c3ed37d72c12c Mon Sep 17 00:00:00 2001 From: tali Date: Sun, 14 Jan 2024 21:05:43 -0500 Subject: [PATCH] init --- .gitignore | 3 +++ dune-project | 17 +++++++++++++++++ geometra.opam | 21 +++++++++++++++++++++ src/dune | 6 ++++++ src/main.ml | 5 +++++ 5 files changed, 52 insertions(+) create mode 100644 .gitignore create mode 100644 dune-project create mode 100644 geometra.opam create mode 100644 src/dune create mode 100644 src/main.ml diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..61af629 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +/_build +/_opam +/.dir-locals.el diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..39eab31 --- /dev/null +++ b/dune-project @@ -0,0 +1,17 @@ +(lang dune 3.12) +(name geometra) +(generate_opam_files true) +; (source (github username/reponame)) +; (authors "Author Name") +; (maintainers "Maintainer Name") +; (license LICENSE) +; (documentation https://url/to/documentation) + +(package + (name geometra) + ; (synopsis "A short synopsis") + ; (description "A longer description") + ; (tags (topics "to describe" your project)) + (depends + ocaml + dune)) diff --git a/geometra.opam b/geometra.opam new file mode 100644 index 0000000..a2da640 --- /dev/null +++ b/geometra.opam @@ -0,0 +1,21 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +depends: [ + "ocaml" + "dune" {>= "3.12"} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] diff --git a/src/dune b/src/dune new file mode 100644 index 0000000..84b5f76 --- /dev/null +++ b/src/dune @@ -0,0 +1,6 @@ +(executable + (name main) + (package geometra) + (public_name geometra) + (libraries + ohlog)) diff --git a/src/main.ml b/src/main.ml new file mode 100644 index 0000000..b11d7c3 --- /dev/null +++ b/src/main.ml @@ -0,0 +1,5 @@ +include (val Ohlog.logs "Gm") + +let () = + Ohlog.init () ~min_level:TRACE; + info (fun m -> m "init")