Check project files are properly generated in CI workflow

Author: nberth

.drom

@@ -68,7 +68,6 @@ jobs:
 
       # use fields.opam-repo = "git+https://" to add an 'extra' opam repository
 
-
       # Use fields.github-workflow-before-build to add something here
       - run: git submodule init
 
@@ -118,6 +117,12 @@ jobs:
         if: matrix.os == 'windows-latest'
 
       # Use fields.github-workflow-before-build to add something here
+      - name: Check project files
+        run: |
+          opam pin --yes "git+https://github.com/OCamlPro/drom.git#v0.9.3"
+          make check-project
+        if: ${{ matrix.ocaml-compiler == '4.14.2' && matrix.os == 'ubuntu-latest' && matrix.skip_test == 'true' }}
+
       - uses: actions/setup-node@v4
         with:
           node-version: '>=16'

.github/workflows/workflow.yml

@@ -72,7 +72,6 @@ jobs:
          sudo apt-get update
 
 ![fi]
-
       # Use fields.github-workflow-before-build to add something here
 !(github-workflow-before-opam)
       - run: opam pin add . -y --no-action

.github/workflows/workflow.yml.drom-tpl

@@ -65,9 +65,9 @@ opam-cross: opam-cross-osx opam-cross-windows
 opam-cross-osx opam-cross-windows: opam-cross-%:
 	rm -rf opam/$*/
 	opam exec -- drom dep --cross $*
-	rm -f opam/$*/*-js-*.opam
-	rm -f opam/$*/vscode-debug*.opam
-	rm -f opam/$*/*-vscode-*.opam
+	rm -f opam/$*/*-js-*.opam \
+	      opam/$*/vscode-debug*.opam \
+	      opam/$*/*-vscode-*.opam
 	sed -i opam/$*/*.opam \
 	    -e '/"goblint-cil-$*" *{/ d' \
 	    -e '/"ANSITerminal-$*" *{/ d' \
@@ -80,6 +80,17 @@ project:
 	opam exec -- drom project $(DROM_PROJECT_ARGS)
 	$(MAKE) opam-fix opam-cross
 
+# Warning: erases non-skipped user-modified files
+.PHONY: check-project
+check-project:
+	$(MAKE) project DROM_PROJECT_ARGS=--force
+	git restore --staged .
+	git update-index --refresh
+#	git diff-index --quiet HEAD -- # <- takes untracked files into account.
+	git ls-files --modified
+
+# ---
+
 # emacs-lsp:
 emacs/lsp-superbol-customs.el: $(LSP_MODE_SRCDIR) package.json
 	emacs --batch > "$@" \

Makefile.header

@@ -124,6 +124,12 @@ github-workflow-before-opam = """
 """
 
 github-workflow-before-build = """
+      - name: Check project files
+        run: |
+          opam pin --yes \"git+https://github.com/OCamlPro/drom.git#v0.9.3\"
+          make check-project
+        if: ${{ matrix.ocaml-compiler == '4.14.2' && matrix.os == 'ubuntu-latest' && matrix.skip_test == 'true' }}
+
       - uses: actions/setup-node@v4
         with:
           node-version: '>=16'