Add CI (#1)

* Add CI

Author: radumcostache

.github/workflows/ci.yml

@@ -0,0 +1,39 @@
+name: Coq CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-22.04
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Set up OCaml and OPAM
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: 4.14.0
+
+      - name: Prepare OPAM and install dependencies
+        run: |
+          opam switch create vlsm-ci 4.14.0
+          eval $(opam env)
+
+          opam repo add coq-released https://coq.inria.fr/opam/released
+          opam update
+
+          opam install -y \
+            coq.8.18.0 \
+            coq-stdpp.1.9.0 \
+            coq-itauto \
+            coq-equations \
+            coq-vlsm.1.3
+
+      - name: Build Coq project
+        run: |
+          eval $(opam env)
+          make
+        working-directory: ${{ github.workspace }}

Makefile

@@ -45,7 +45,7 @@ HASNATDYNLINK     := $(COQMF_HASNATDYNLINK)
 OCAMLWARN         := $(COQMF_WARN)
 
 Makefile.conf: _CoqProject
-	coq_makefile -f _CoqProject Sequents.v SequentsVLSM.v -o Makefile
+	coq_makefile -f _CoqProject src/Sequents.v src/SequentsVLSM.v -o Makefile
 
 # This file can be created by the user to hook into double colon rules or
 # add any other Makefile code he may need

_CoqProject

@@ -1 +1 @@
--Q . VLSM_SC
+-Q src VLSM_SC