From d2593e754478fcc5afccc0e3c49bd47505e21318 Mon Sep 17 00:00:00 2001 From: Brian Ward Date: Wed, 22 Jan 2025 12:49:31 -0500 Subject: [PATCH] +menhir.20240715 --- .../menhir-windows.20240715/opam | 33 +++++++++++++++++++ .../menhirCST-windows.20240715/opam | 29 ++++++++++++++++ .../menhirLib-windows.20240715/opam | 30 +++++++++++++++++ .../menhirSdk-windows.20240715/opam | 30 +++++++++++++++++ 4 files changed, 122 insertions(+) create mode 100644 packages/menhir-windows/menhir-windows.20240715/opam create mode 100644 packages/menhirCST-windows/menhirCST-windows.20240715/opam create mode 100644 packages/menhirLib-windows/menhirLib-windows.20240715/opam create mode 100644 packages/menhirSdk-windows/menhirSdk-windows.20240715/opam diff --git a/packages/menhir-windows/menhir-windows.20240715/opam b/packages/menhir-windows/menhir-windows.20240715/opam new file mode 100644 index 00000000..07b73d15 --- /dev/null +++ b/packages/menhir-windows/menhir-windows.20240715/opam @@ -0,0 +1,33 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "GPL-2.0-only" +build: [ + ["dune" "build" "-p" "menhir" "-x" "windows" "-j" jobs] +] +depends: [ + "ocaml-windows" {>= "4.03.0"} + "dune" {>= "2.8.0"} + "menhirLib" {= version} + "menhirSdk" {= version} + "menhirCST" {= version} + "menhirLib-windows" {= version} + "menhirSdk-windows" {= version} + "menhirCST-windows" {= version} +] +synopsis: "An LR(1) parser generator" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz" + checksum: [ + "md5=d39a8943fe1be28199e5ec1f4133504c" + "sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd" + ] +} diff --git a/packages/menhirCST-windows/menhirCST-windows.20240715/opam b/packages/menhirCST-windows/menhirCST-windows.20240715/opam new file mode 100644 index 00000000..d5a57232 --- /dev/null +++ b/packages/menhirCST-windows/menhirCST-windows.20240715/opam @@ -0,0 +1,29 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception" +build: [ + ["dune" "build" "-p" "menhirCST" "-x" "windows" "-j" jobs] +] +depends: [ + "ocaml-windows" { >= "4.08" } + "dune" { >= "2.8.0" } +] +conflicts: [ + "menhir-windows" { != version } +] +synopsis: "Runtime support library for parsers generated by Menhir" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz" + checksum: [ + "md5=d39a8943fe1be28199e5ec1f4133504c" + "sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd" + ] +} diff --git a/packages/menhirLib-windows/menhirLib-windows.20240715/opam b/packages/menhirLib-windows/menhirLib-windows.20240715/opam new file mode 100644 index 00000000..4592c458 --- /dev/null +++ b/packages/menhirLib-windows/menhirLib-windows.20240715/opam @@ -0,0 +1,30 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception" +build: [ + ["dune" "build" "-p" "menhirLib" "-x" "windows" "-j" jobs] +] +depends: [ + "ocaml-windows" { >= "4.03.0" } + "dune" { >= "2.8.0" } +] +conflicts: [ + "menhir-windows" { != version } +] +synopsis: "Runtime support library for parsers generated by Menhir" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz" + checksum: [ + "md5=d39a8943fe1be28199e5ec1f4133504c" + "sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd" + ] +} diff --git a/packages/menhirSdk-windows/menhirSdk-windows.20240715/opam b/packages/menhirSdk-windows/menhirSdk-windows.20240715/opam new file mode 100644 index 00000000..c02bcd65 --- /dev/null +++ b/packages/menhirSdk-windows/menhirSdk-windows.20240715/opam @@ -0,0 +1,30 @@ + +opam-version: "2.0" +maintainer: "francois.pottier@inria.fr" +authors: [ + "François Pottier " + "Yann Régis-Gianas " +] +homepage: "http://gitlab.inria.fr/fpottier/menhir" +dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" +bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues" +license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception" +build: [ + ["dune" "build" "-p" "menhirSdk" "-x" "windows" "-j" jobs] +] +depends: [ + "ocaml-windows" { >= "4.03.0" } + "dune" { >= "2.8.0" } +] +conflicts: [ + "menhir-windows" { != version } +] +synopsis: "Compile-time library for auxiliary tools related to Menhir" +url { + src: + "https://gitlab.inria.fr/fpottier/menhir/-/archive/20240715/archive.tar.gz" + checksum: [ + "md5=d39a8943fe1be28199e5ec1f4133504c" + "sha512=4f933cfc9026f5f2ffda9b0e626862560a233c35ecf097d179edd926d9009bdf46b6611294aea02b63c34427348568f37376a033fbe8cf98a7746fa6f1354dbd" + ] +}