diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-02-01 07:52:43 +0100 |
|---|---|---|
| committer | umarcor <unai.martinezcorral@ehu.eus> | 2021-02-01 08:53:40 +0100 |
| commit | 41e51aba6a1bc0faea8a6fc256e93c5dbfe325b9 (patch) | |
| tree | 86c8663a189397d49b5e5a23ae0680b927381c11 /.github | |
| parent | 4dc37524947c7e7bc85d8511c4b60ab629ccbfca (diff) | |
| download | ghdl-41e51aba6a1bc0faea8a6fc256e93c5dbfe325b9.tar.gz ghdl-41e51aba6a1bc0faea8a6fc256e93c5dbfe325b9.tar.bz2 ghdl-41e51aba6a1bc0faea8a6fc256e93c5dbfe325b9.zip | |
ci: use a clean base image for ghdl/doc
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index e2d507ba2..0c63997bf 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -25,25 +25,25 @@ jobs: - name: Build ghdl/doc run: | - docker build -t ghdl/doc - <<-EOF - FROM ghdl/vunit:llvm - ENV PYTHONPATH=/src/pyGHDL - RUN apt update -qq && apt install -y gnat-gps graphviz \ + docker build -t ghdl/doc . -f- <<-EOF + FROM ghdl/build:buster-mcode + ENV PYTHONPATH=/opt/ghdl/pyGHDL + RUN apt update -qq && apt install -y python3-pip gnat-gps graphviz \ && ln -s /usr/bin/pip3 /usr/bin/pip + COPY . /opt/ghdl + RUN cd /opt/ghdl && ./configure && make && make install EOF - name: Run gnatdoc run: | cat > run.sh <<-EOF #!/usr/bin/env sh - ./configure - make gnatdoc -P./ghdl - mkdir public - mv gnatdoc public + mkdir /src/public + mv gnatdoc /src/public/gnatdoc EOF chmod +x run.sh - docker run --rm -v $(pwd):/src -w /src ghdl/doc ./run.sh + docker run --rm -v $(pwd):/src -w /opt/ghdl ghdl/doc /src/run.sh - name: '📓 BuildTheDocs (BTD)' if: github.event_name != 'pull_request' |