chore: init repo

This commit is contained in:
Henri Saudubray 2025-04-04 14:02:11 +02:00
commit f90206e57e
Signed by: hms
GPG key ID: 7065F57ED8856128
10 changed files with 68 additions and 0 deletions

29
hsim.opam Normal file
View file

@ -0,0 +1,29 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "An executable semantics for the simulation of hybrid systems"
maintainer: ["henri.saudubray@proton.me"]
authors: ["Henri Saudubray"]
license: "GPL-3.0-or-later"
homepage: "https://codeberg.org/17maiga/hsim"
doc: "https://url/to/documentation"
bug-reports: "https://codeberg.org/17maiga/hsim/issues"
depends: [
"dune" {>= "3.17"}
"ocaml"
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "https://codeberg.org/17maiga/hsim"