Skip to content

GitLab

R
ReLoC-v1
Commit 5b557938 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

update Makefile and CI config

parent 91b1899b
Pipeline #13482 passed with stage
    in 15 minutes and 51 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 2 additions and 3 deletions
    .gitlab-ci.yml
    View file @ 5b557938
    ......@@ -11,7 +11,7 @@ variables:
    tags:
    - fp
    script:
    - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
    - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
    - ci/buildjob
    cache:
    key: "$CI_JOB_NAME"
    ......
    Makefile
    View file @ 5b557938
    ......@@ -13,7 +13,7 @@ clean: Makefile.coq
    .PHONY: clean
    # Create Coq Makefile.
    Makefile.coq: _CoqProject Makefile awk.Makefile
    Makefile.coq: _CoqProject Makefile
    "$(COQBIN)coq_makefile" -f _CoqProject -o Makefile.coq
    # Install build-dependencies
    ......@@ -42,7 +42,6 @@ build-dep: build-dep/opam phony
    # Some files that do *not* need to be forwarded to Makefile.coq
    Makefile: ;
    _CoqProject: ;
    awk.Makefile: ;
    opam: ;
    # Phony wildcard targets
    ......
    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