Fix ci

JetBrains-Research · Feb 28, 2024 · 54153ba · 54153ba
1 parent 1151888
commit 54153ba
Show file tree

Hide file tree

Showing 15 changed files with 1,120 additions and 15 deletions.
diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
@@ -37,12 +37,6 @@ jobs:
     - name: Opam eval 
       run: eval $(opam env)
 
-    - name: Make coq project from test resources directory
-      run: |
-        cd src/test/resources/coqProj
-        make
-      shell: bash
-
     - name: Install Node.js
       uses: actions/setup-node@v3
       with:

diff --git a/.gitignore b/.gitignore
@@ -7,12 +7,4 @@ logs
 .DS_Store
 
 # Test resources 
-src/test/resources/coqProj/.vscode
-**/*.glob
-**/*.vo
-**/*.vok
-**/*.vos
-**/*.aux
-src/test/resources/coqProj/.Makefile.coq.d
-src/test/resources/coqProj/Makefile.coq
-src/test/resources/coqProj/Makefile.coq.conf
+src/test/resources/coqProj/.vscode
diff --git a/src/test/resources/coqProj/.Makefile.coq.d b/src/test/resources/coqProj/.Makefile.coq.d
@@ -0,0 +1,6 @@
+theories/A.vo theories/A.glob theories/A.v.beautified theories/A.required_vo: theories/A.v 
+theories/A.vio: theories/A.v 
+theories/A.vos theories/A.vok theories/A.required_vos: theories/A.v 
+theories/B.vo theories/B.glob theories/B.v.beautified theories/B.required_vo: theories/B.v theories/A.vo
+theories/B.vio: theories/B.v theories/A.vio
+theories/B.vos theories/B.vok theories/B.required_vos: theories/B.v theories/A.vos