Add coq-certicoq.dev

coq · Jan 10, 2024 · a59f2c0 · a59f2c0
1 parent 81998fd
commit a59f2c0
Showing 1 changed file with 45 additions and 0 deletions.
diff --git a/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam b/extra-dev/packages/coq-certicoq/coq-certicoq.dev/opam
@@ -0,0 +1,45 @@
+opam-version: "2.0"
+maintainer: "The CertiCoq Team"
+homepage: "https://certicoq.org/"
+dev-repo: "git+https://github.com/CertiCoq/certicoq"
+bug-reports: "https://github.com/CertiCoq/certicoq/issues"
+authors: ["Andrew Appel"
+          "Yannick Forster"
+          "Anvay Grover"
+          "Joomy Korkut"
+          "John Li"
+          "Zoe Paraskevopoulou"
+          "Matthieu Sozeau"
+          "Matthew Weaver"
+          "Abhishek Anand"
+          "Greg Morrisett"
+          "Randy Pollack"
+          "Olivier Savary Belanger"
+  ]
+license: "MIT"
+build: [
+  ["bash" "./configure.sh"]
+  [make "all"]
+  [make "plugins"]
+  [make "bootstrap"]
+  [make "-C" "benchmarks" "all"] {with-test}
+  [make "-C" "bootstrap" "tests"] {with-test}
+]
+install: [
+  [make "install"]
+]
+depends: [
+  "ocaml"
+  "stdlib-shims"
+  "coq" {>= "8.17" & < "8.18~"}
+  "coq-compcert" {= "3.12"}
+  "coq-equations" {= "1.3+8.17"}
+  "coq-metacoq-erasure-plugin" {= "dev"}
+  "coq-metacoq-safechecker-plugin" {= "dev"}
+  "coq-ext-lib" {>= "0.11.8"}
+]
+
+synopsis: "A Verified Compiler for Gallina, Written in Gallina "
+url {
+  git: "https://github.com/CertiCoq/certicoq.git"
+}