Phase1 CI

.github/workflows/main.yml

@@ -0,0 +1,46 @@
+# Adapted from https://github.com/ocaml/setup-ocaml
+#
+name: ci
+
+# kick
+
+# The lints should be only run when packages are added
+on:
+  push:
+  # pull_request:
+  #   paths:
+  #     - packages/
+  # push:
+  #   paths:
+  #     - packages/
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v4
+        with:
+          # We need to fetch the history so we can compare against master
+          fetch-depth: 0
+
+      - name: Install GNU prallel
+        run: sudo apt-get install -y parallel
+
+      - name: Set-up OCaml
+        uses: ocaml/setup-ocaml@v3
+        with:
+          ocaml-compiler: 5
+
+      - name: Install opam-ci-check
+        run: opam pin opam-ci-check https://github.com/shonfeder/opam-repo-ci.git#411/archive-lint
+
+      # Get the names of the packages being added to the archive, and feed these
+      # to opam-ci-check
+      - name: Lint newly archived packages
+        run: |
+          git diff --name-only origin/main packages \
+          | sed 's:.*/\(.*\)/opam:\1:' \
+          | xargs --max-lines=1 --max-procs=4 opam exec -- opam-ci-check lint -r . --checks=archive-repo \
+          | grep "Error in"

packages/FrontC/FrontC.3.4.3/opam

@@ -0,0 +1,51 @@
+opam-version: "2.0"
+authors: "Hugues Cassé <[email protected]>"
+homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
+dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC"
+maintainer: "Ivan Gotovchits <[email protected]>"
+license: "LGPL-2.1-only"
+depends: [
+  "ocaml"
+]
+
+build: [
+  [make "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
+]
+
+install: [
+  [make "install" "PREFIX=%{lib}%" "OCAML_SITE=%{lib}%"]
+  ["cp" "META" "%{lib}%/FrontC"]
+]
+synopsis: "Library providing a C parser and lexer"
+description: """
+FrontC is an OCAML library providing a C parser and lexer. The result
+is a syntactic tree easy to process with usual OCAML tree management.
+
+It provides support for ANSI C syntax, old-C K&R style syntax and the
+standard GNU CC attributes.
+
+It provides also a C pretty printer as an example of use."""
+
+url {
+  src:
+    "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v3.4.3.tar.gz"
+  checksum: [
+    "sha256=b96098bc56008e4239e571bb4e7407ac3b83be1c89bf945e2048063f9a5e528c"
+    "md5=399f66735541ecf8e06220618eef5c98"
+  ]
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v3.4.3.tar.gz"
+}
+
+available: false
+extra-source "FrontC.install" {
+  src:
+    "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/FrontC/FrontC.install"
+  checksum: [
+    "sha256=501dee92dc12ec57e4f34b5e5e15ee9630cb47c0c3f5219d6172a450c3495224"
+    "md5=c56e698d092d18179f9458f311c56412"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "de786e28dbea73843ad5e5f0290a4e81fba39370"
+x-reason-for-archiving: ["uninstallable"]

packages/OCADml/OCADml.0.3.0/opam

@@ -0,0 +1,45 @@
+opam-version: "2.0"
+synopsis: "Types and functions for building CAD packages in OCaml"
+description: "Types and functions for building CAD packages in OCaml"
+maintainer: ["Geoff deRosenroll<[email protected]"]
+authors: ["Geoff deRosenroll<[email protected]"]
+license: "GPL-2.0-or-later"
+tags: ["OCADml" "CAD"]
+homepage: "https://github.com/OCADml/OCADml"
+doc: "https://OCADml.github.io/OCADml"
+bug-reports: "https://github.com/OCADml/OCADml/issues"
+depends: [
+  "dune" {>= "3.3" & <= "3.17.0"}
+  "ocaml" {>= "4.14.0"}
+  "gg" {= "1.0.0"}
+  "cairo2" {>= "0.6.2" & <= "0.6.5"}
+  "odoc" {with-doc & <= "2.4.4"}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/OCADml/OCADml.git"
+url {
+  src:
+    "https://github.com/OCADml/OCADml/releases/download/v0.3.0/OCADml-0.3.0.tbz"
+  checksum: [
+    "sha256=9614beb1c81f1f4da39e5c4a8ee820ebf44beb34a44a7e32602782079efad8c8"
+    "sha512=0a8f6c02f0b97c1a4cd270117bd744a26cf29070a6c704dde9379967d0fadfcfdcaeaa6bd286c7696b0dbd2a9e9aa95ccae517ac487a6771897ff4805e2750f6"
+  ]
+}
+x-commit-hash: "c35a30fc64a006fc9b81ec21bd8d38b957afe800"
+available: false
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "de786e28dbea73843ad5e5f0290a4e81fba39370"
+x-reason-for-archiving: ["uninstallable"]

packages/amf/amf.0.1.2/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+synopsis: "Parser/serializer for Adobe's Action Message Format"
+maintainer: "Brian Caine <[email protected]>"
+authors: "Brian Caine <[email protected]>"
+license: "LGPL with OCaml linking exception"
+homepage: "https://briancaine.github.io/ocaml-amf/"
+bug-reports: "https://github.com/briancaine/ocaml-amf/issues"
+depends: [
+  "ocaml" {>= "4.04"}
+  "dune" {>= "1.0" & <= "3.17.0"}
+  "ppx_deriving" {<= "6.0.3"}
+  "ppx_sexp_conv" {< "v0.13"}
+  "base-threads" {= "base"}
+  "core" {>= "v0.9.1" & < "v0.13"}
+  "stdint" {<= "0.7.2"}
+  "sexplib" {< "v0.13"}
+  "bisect_ppx" {build & <= "2.8.3"}
+  "ounit" {with-test & <= "2.2.7"}
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+dev-repo: "git+https://github.com/briancaine/ocaml-amf.git"
+url {
+  src: "https://github.com/briancaine/ocaml-amf/archive/v0.1.2.tar.gz"
+  checksum: [
+    "md5=5ffab0f08aeb4af335ed38cbf7a5694d"
+    "sha512=3621e9978a6988696653fcceb92e17e06014fe31e57cc974387a265df10a63f6c76d4e6ff1ebdb6af8d0da06e8782f9c0000b33fcc53a9fdacdf857881fbb4e2"
+  ]
+}
+available: false # source tarball not available
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "de786e28dbea73843ad5e5f0290a4e81fba39370"
+x-reason-for-archiving: ["source-unavailable"]

packages/anders/anders.0.7/opam

@@ -0,0 +1,29 @@
+opam-version: "2.0"
+synopsis: "CCHM homotopy system type checker based on Mini-TT for OCaml"
+maintainer: "Namdak Tonpa <[email protected]>"
+authors: "Groupoid Infinity"
+license: "ISC"
+homepage: "https://groupoid.space/homotopy/"
+bug-reports: "https://github.com/groupoid/anders/issues"
+depends: [
+  "dune" {>= "2.0" & <= "3.17.0"}
+  "ocaml" {>= "4.10.0"}
+  "menhir" {>= "2.7" & <= "20240715"}
+  "odoc" {with-doc & <= "2.4.4"}
+]
+available: false
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
+]
+dev-repo: "git+https://github.com/groupoid/anders"
+url {
+  src: "https://github.com/groupoid/anders/archive/refs/tags/0.7.zip"
+  checksum: [
+    "md5=258c659c2b4dd602db1d844ef14189f8"
+    "sha512=d2e7f982ebcd99a05fc7a155c408f6317c0a70dfd33f6b2bc1d6a1fcdf920601b38169c7ee8ec8325a55143d7763ee5bc411c71bfb6a326a7d0b76c5f5ceb496"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "de786e28dbea73843ad5e5f0290a4e81fba39370"
+x-reason-for-archiving: ["uninstallable"]

packages/async/async.108.00.01/opam

@@ -0,0 +1,32 @@
+opam-version: "2.0"
+maintainer: "Jane Street developers"
+build: make
+remove: [["ocamlfind" "remove" "async"]]
+depends: [
+  "ocaml"
+  "camlp4" {<= "5.2"}
+  "ocamlfind" {<= "1.9.6"}
+  "async_unix" {= "108.00.01"}
+  "async_core" {= "108.00.01"}
+  "async_extra" {= "108.00.01"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+install: [make "install"]
+synopsis: "Monadic concurrency library"
+description: """
+Part of Jane Street’s Core library
+The Core suite of libraries is an industrial strength alternative to
+OCaml's standard library that was developed by Jane Street, the
+largest industrial user of OCaml."""
+flags: light-uninstall
+url {
+  src:
+    "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async-108.00.01.tar.gz"
+  checksum: [
+    "sha256=68587507771f6f10cfefb0ed6c36598f6b6ca393c60f18ad198112435c31728c"
+    "md5=a474bd087fdd5f3a092867f234044152"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "e2ae8ce533a8712320aa7d09e0bc4e71d4935213"
+x-reason-for-archiving: ["uninstallable"]

packages/async_core/async_core.108.00.01/opam

@@ -0,0 +1,33 @@
+opam-version: "2.0"
+maintainer: "Jane Street developers"
+build: make
+remove: [["ocamlfind" "remove" "async_core"]]
+depends: [
+  "ocaml"
+  "camlp4" {<= "5.2"}
+  "ocamlfind" {<= "1.9.6"}
+  "bin_prot" {<= "v0.17.0"}
+  "core" {= "108.00.01"}
+  "fieldslib" {<= "v0.17.0"}
+  "pa_ounit" {<= "113.00.00"}
+  "sexplib" {<= "v0.17.0"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+install: [make "install"]
+synopsis: "Part of Jane Street’s Core library"
+description: """
+The Core suite of libraries is an industrial strength alternative to
+OCaml's standard library that was developed by Jane Street, the
+largest industrial user of OCaml."""
+flags: light-uninstall
+url {
+  src:
+    "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_core-108.00.01.tar.gz"
+  checksum: [
+    "sha256=c977d9e6a472604712a297c4849c20c65013153ad636877c7bbe8cc06f70c022"
+    "md5=f677808fc9efbbe144aa55ce49122ad8"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "e2ae8ce533a8712320aa7d09e0bc4e71d4935213"
+x-reason-for-archiving: ["uninstallable"]

packages/async_extra/async_extra.108.00.01/opam

@@ -0,0 +1,36 @@
+opam-version: "2.0"
+maintainer: "Jane Street developers"
+build: make
+remove: [["ocamlfind" "remove" "async_extra"]]
+depends: [
+  "ocaml"
+  "camlp4" {<= "5.2"}
+  "ocamlfind" {<= "1.9.6"}
+  "async_unix" {= "108.00.01"}
+  "async_core" {= "108.00.01"}
+  "bin_prot" {< "113.01.00"}
+  "core" {<= "v0.17.1"}
+  "fieldslib" {< "113.01.00"}
+  "pa_ounit" {<= "113.00.00"}
+  "pipebang" {<= "113.00.00"}
+  "sexplib" {< "113.01.00"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+install: [make "install"]
+synopsis: "Part of Jane Street’s Core library"
+description: """
+The Core suite of libraries is an industrial strength alternative to
+OCaml's standard library that was developed by Jane Street, the
+largest industrial user of OCaml."""
+flags: light-uninstall
+url {
+  src:
+    "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_extra-108.00.01.tar.gz"
+  checksum: [
+    "sha256=677dc71aa9735f52aa60efca79112e22de491564e75db60ea430101d17bd8031"
+    "md5=957b3daaf03493831a5b475c3acf76af"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "e2ae8ce533a8712320aa7d09e0bc4e71d4935213"
+x-reason-for-archiving: ["uninstallable"]

packages/async_unix/async_unix.108.00.01/opam

@@ -0,0 +1,35 @@
+opam-version: "2.0"
+maintainer: "Jane Street developers"
+build: make
+remove: [["ocamlfind" "remove" "async_unix"]]
+depends: [
+  "ocaml"
+  "camlp4" {<= "5.2"}
+  "ocamlfind" {<= "1.9.6"}
+  "async_core" {= "108.00.01"}
+  "bin_prot" {< "113.01.00"}
+  "core" {<= "v0.17.1"}
+  "fieldslib" {< "113.01.00"}
+  "pa_ounit" {<= "113.00.00"}
+  "pipebang" {<= "113.00.00"}
+  "sexplib" {< "113.01.00"}
+  "ocamlbuild" {build & <= "0.15.0"}
+]
+install: [make "install"]
+synopsis: "Part of Jane Street’s Core library"
+description: """
+The Core suite of libraries is an industrial strength alternative to
+OCaml's standard library that was developed by Jane Street, the
+largest industrial user of OCaml."""
+flags: light-uninstall
+url {
+  src:
+    "https://ocaml.janestreet.com/ocaml-core/108.00.01/individual/async_unix-108.00.01.tar.gz"
+  checksum: [
+    "sha256=4bb99b45adbd230ef99af76804c059c8d029a97608023ade431c93583446466b"
+    "md5=5df5c16faaa39c5810f3f46bbab512d0"
+  ]
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "e2ae8ce533a8712320aa7d09e0bc4e71d4935213"
+x-reason-for-archiving: ["uninstallable"]

packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam

@@ -0,0 +1,39 @@
+opam-version: "2.0"
+maintainer: "Ivan Gotovchits <[email protected]>"
+authors: "BAP Team"
+homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
+license: "MIT"
+build: [
+  ["./configure" "--prefix=%{prefix}%" "--enable-fsi-benchmark"]
+  [make]
+]
+
+install: [[make "install"]]
+
+remove: [["rm" "-f" "%{bin}%/bap-byteweight"]]
+
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "bap-std" {= "2.4.0"}
+  "bap-ida" {= "2.4.0"}
+  "bap-byteweight-frontend" {= "2.4.0"}
+  "cmdliner" {<= "1.3.0"}
+  "fileutils" {<= "0.6.4"}
+  "re" {<= "1.12.0"}
+]
+synopsis: "BAP function start identification benchmark game"
+flags: light-uninstall
+
+url {
+  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
+  checksum: [
+    "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5"
+    "md5=b8b1aff8c6846f2213eafc54de07b304"
+  ]
+  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
+}
+x-opam-repository-commit-hash-at-time-of-archiving:
+  "e2ae8ce533a8712320aa7d09e0bc4e71d4935213"
+x-reason-for-archiving: ["uninstallable"]