-
erwan authoredTo do that, I've reorganized the code Test: with ocaml 4.08, it is impossible to load the same function twice. Hence the need to define p.mli files for graphs with several nodes. Also, track missing files and the alea-coloring exemples.
erwan authoredTo do that, I've reorganized the code Test: with ocaml 4.08, it is impossible to load the same function twice. Hence the need to define p.mli files for graphs with several nodes. Also, track missing files and the alea-coloring exemples.
sasacore.opam 641 B
opam-version: "2.0"
synopsis: "SASA core library"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
description: """
The library shared by the sasa binary, and the rdbg plugin.
"""
authors: [ "Erwan Jahier" ]
license: "CeCILL"
homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
build: [make "build"]
install: [make "install"]
depends: [
"ocaml"
"ocamlfind"
"dune" { build }
"ocamlgraph"
]
available: [ ocaml-version >= "4.02" ]