commit 6d4dc201f7d282f9ca23bdf3a80c3ed37d72c12c Author: tali Date: Sun Jan 14 21:05:43 2024 -0500 init 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")