~amiloradovsky/symbolic-dynamics

5857f238adbeffe54cdf91f811441f8f24d25be7 — Andrew Miloradovsky 7 months ago 960accf master
.build.yml: continuous integration for SourceHut
1 files changed, 21 insertions(+), 0 deletions(-)

A .build.yml
A .build.yml => .build.yml +21 -0
@@ 0,0 1,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