From b0a4f7892cee6ecace713be8a5a1260b2bdf3bc9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <maxime.denes@inria.fr>
Date: Sun, 20 Aug 2023 11:39:20 +0200
Subject: [PATCH] Generate JSON data for packages as part of GH pages
 deployment

This will ensure the data is always up-to-date.
---
 .github/workflows/ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 41e49a6d1..851a37158 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,10 +23,16 @@ jobs:
           eval $(opam env)
           make
 
+      - name: Build JSON index data
+        run: |
+          eval $(opam env)
+          opam install -y dune.2.9.3 opam-core.2.1.0 opam-file-format.2.1.3 ppx_deriving_yojson.3.6.1
+          ocamlfind opt -package opam-file-format,opam-core,ppx_deriving_yojson,str -linkpkg scripts/archive2web.ml -o scripts/archive2web
+          scripts/archive2web released extra-dev > coq-packages.json
+
       - name: Prepare website
         run: |
           mkdir dest
-          wget -O dest/coq-packages.json https://gitlab.com/coq/opam-coq-archive/-/jobs/artifacts/master/raw/coq-packages.json?job=json-data
           cp -r core-dev dest
           cp -r extra-dev dest
           cp -r released dest