Skip to content

GitLab

C
clean-test-properties
Verified Commit 45aef619 authored by Camil Staps's avatar Camil Staps 🙂
Browse files
Options

Fix build

parent c82025af
Pipeline #18991 passed with stage
    in 1 minute and 7 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 5 deletions
    .gitlab-ci.yml
    View file @ 45aef619
    ......@@ -8,7 +8,7 @@ build:
    - apt-get update -qq
    - apt-get install -y -qq build-essential
    script:
    - make -C src -f Makefile.linux64
    - make -C src
    doc:
    image: "camilstaps/texlive"
    ......
    README.md
    View file @ 45aef619
    ......@@ -8,10 +8,9 @@ The latest documentation can be [downloaded][doc] in PDF format.
    ## Installation
    On Linux, the tool can be installed simply by running
    `make -f Makefile.linux64`. This builds the dependencies of the Clean compiler
    as well. On Windows, you are yourself responsible for this, but a project file
    is provided.
    On Linux, the tool can be installed simply by running `make`. This builds the
    dependencies of the Clean compiler as well. On Windows, you are yourself
    responsible for this, but a project file is provided.
    [doc]: https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties/-/jobs/artifacts/master/raw/doc/doc.pdf?job=doc
    [Gast]: https://gitlab.science.ru.nl/clean-and-itasks/gast
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment