~amiloradovsky/symbolic-dynamics

symbolic-dynamics/.build.yml -rw-r--r-- 520 bytes View raw
5857f238Andrew Miloradovsky .build.yml: continuous integration for SourceHut 7 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
image: alpine/edge
packages:
  - coq
sources:
  - https://github.com/coq-community/zorns-lemma.git
  - https://github.com/coq-community/topology.git
  - https://git.sr.ht/~amiloradovsky/symbolic-dynamics
tasks:
  - coq-version: |
      coqc --version
  - zorns-lemma: |
      cd zorns-lemma
      make all
  - coq-topology: |
      cd topology
      sed -i '2s@^$@-R ../zorns-lemma ZornsLemma@' Make
      make all
  - make-fail: |
      cd symbolic-dynamics
      coq_makefile -f _CoqProject -o Makefile
      make all