Commit ea5c3527 authored by Rodolphe Lepigre's avatar Rodolphe Lepigre
Browse files

Fix for change in CI.

parent de4583d1
Pipeline #36104 passed with stage
in 31 minutes and 38 seconds
......@@ -5,7 +5,7 @@ _build/
*~
*.bak
.coq-native/
build-dep/
builddep/
Makefile.coq
.Makefile.coq.d
Makefile.coq.conf
......
......@@ -27,14 +27,14 @@ C_SRC = $(wildcard examples/*.c) $(wildcard tutorial/*.c)
generate_all: $(addsuffix .gen, $(C_SRC))
.PHONY: generate_all
build-dep-opamfiles: build-dep/opam
builddep-opamfiles: builddep/refinedc-builddep.opam
@true
.PHONY: build-dep-opamfiles
.PHONY: builddep-opamfiles
# Create a virtual Opam package with the same dependencies as RefinedC.
build-dep/opam: refinedc.opam Makefile
@echo "# Creating build-dep package."
@mkdir -p build-dep
# Create a virtual Opam package with the same deps as RefinedC, but no build.
builddep/refinedc-builddep.opam: refinedc.opam Makefile
@echo "# Creating builddep package."
@mkdir -p builddep
@head -n -5 $< > $@
@sed -i -E 's/^name: *"(.*)" */name: "\1-builddep"/' $@
......@@ -42,10 +42,10 @@ build-dep/opam: refinedc.opam Makefile
# 1) dependencies of RefinedC are installed,
# 2) they will remain satisfied even if other packages are updated/installed,
# 3) we do not have to pin the RefinedC package itself (which takes time).
build-dep: build-dep/opam
@echo "# Installing build-dep package."
@opam install $(OPAMFLAGS) build-dep/
.PHONY: build-dep
builddep: builddep/refinedc-builddep.opam
@echo "# Installing package $^."
@opam install $(OPAMFLAGS) $^
.PHONY: builddep
# FIXME
#TUTORIAL_SRC = \
......
Supports Markdown
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