From e6a425e2df5673731a66d8185354d9e763165521 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 19 Dec 2018 17:34:59 +0100
Subject: [PATCH] update Makefile and CI config
---
.gitlab-ci.yml | 2 +-
Makefile | 3 +--
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 53ede94e..7febb833 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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-gen_proofmode_WIP"
diff --git a/Makefile b/Makefile
index 7d2ef1b2..f023f15a 100644
--- a/Makefile
+++ b/Makefile
@@ -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
--
GitLab