Merge pull request #1 from formal-land/guillaume-claret@add-ci-file

Add CI file

Author: clarus

.github/workflows/build.yml

@@ -0,0 +1,28 @@
+name: Build
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: Download Git submodules
+      run: git submodule update --init --recursive
+    - uses: coq-community/docker-coq-action@v1
+      with:
+        custom_image: coqorg/coq:8.20-ocaml-4.14-flambda
+        custom_script: |
+          startGroup "Build"
+            sudo chown -R $(whoami) .
+            make
+          endGroup

.gitignore

@@ -43,3 +43,7 @@ time-of-build-after.log
 time-of-build-before.log
 time-of-build-both.log
 time-of-build-pretty.log
+
+# additional files
+CoqMakefile
+CoqMakefile.conf

Makefile

@@ -0,0 +1,29 @@
+.PHONY: default all clean clean-util distclean
+
+VFILES := $(shell find -L . -name "*.v" | sort)
+
+default: all
+
+# We use the '@' to avoid displaying this command as the parameters list is
+# very long.
+CoqMakefile: $(VFILES)
+	@coq_makefile -f _CoqProject -o $@ $(VFILES)
+
+MAKECOQ := +$(MAKE) -f CoqMakefile
+
+%.vo: CoqMakefile %.v
+	$(MAKECOQ) $@
+
+all: CoqMakefile
+	$(MAKECOQ) all
+
+clean-coq: CoqMakefile
+	$(MAKECOQ) clean
+
+clean-util:
+	rm -f *CoqMakefile*
+
+clean: clean-coq
+	$(MAKE) clean-util # done separately to enforce order
+
+distclean: clean