init
This commit is contained in:
commit
6d4dc201f7
|
@ -0,0 +1,3 @@
|
|||
/_build
|
||||
/_opam
|
||||
/.dir-locals.el
|
|
@ -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))
|
|
@ -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}
|
||||
]
|
||||
]
|
|
@ -0,0 +1,6 @@
|
|||
(executable
|
||||
(name main)
|
||||
(package geometra)
|
||||
(public_name geometra)
|
||||
(libraries
|
||||
ohlog))
|
|
@ -0,0 +1,5 @@
|
|||
include (val Ohlog.logs "Gm")
|
||||
|
||||
let () =
|
||||
Ohlog.init () ~min_level:TRACE;
|
||||
info (fun m -> m "init")
|
Loading…
Reference in New Issue