From 59c3b1a20aae2ef9c45e74d454337c07aa43f59e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 11 Jul 2026 02:52:25 -0300 Subject: nix flake with dune and rocq development environment --- sol.opam | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 sol.opam (limited to 'sol.opam') 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 "] +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} + ] +] -- cgit v1.2.3