diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
| commit | 59c3b1a20aae2ef9c45e74d454337c07aa43f59e (patch) | |
| tree | cd6b687c4d61b64731405a017668e2380c68ed9c /sol.opam | |
| parent | e3ff4fe110d530713fa0c86522d22395f164769a (diff) | |
| download | SOL-59c3b1a20aae2ef9c45e74d454337c07aa43f59e.tar.gz SOL-59c3b1a20aae2ef9c45e74d454337c07aa43f59e.zip | |
nix flake with dune and rocq development environment
Diffstat (limited to '')
| -rw-r--r-- | sol.opam | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/sol.opam b/sol.opam new file mode 100644 index 0000000..c2bde77 --- /dev/null +++ b/sol.opam @@ -0,0 +1,29 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Sol: a total relational language" +description: + "Sol is a total relational language where relations are the primary semantic objects, types are membership criteria, and execution is proof search, constraint propagation, and normalization." +maintainer: ["Marcos Magueta <maguetamarcos@gmail.com>"] +authors: ["Marcos Magueta"] +license: "AGPL-3.0-only" +depends: [ + "dune" {>= "3.7"} + "ocaml" {>= "5.1"} + "zarith" + "alcotest" {with-test} + "odoc" {with-doc} +] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] |