Skip to content
Snippets Groups Projects
Commit f2800611 authored by Ralf Jung's avatar Ralf Jung
Browse files

bump std++

parent 8c11e613
No related branches found
No related tags found
No related merge requests found
...@@ -8,7 +8,7 @@ MAKE_REF:= ...@@ -8,7 +8,7 @@ MAKE_REF:=
real-all: style $(if $(NO_TEST),,test) real-all: style $(if $(NO_TEST),,test)
style: $(VFILES) coq-lint.sh style: $(VFILES) coq-lint.sh
# Make sure everything imports the options, and all Instance/Argument/Hint are qualified. # Make sure everything imports the options, and some general linting.
$(SHOW)"COQLINT" $(SHOW)"COQLINT"
$(HIDE)for FILE in $(VFILES); do \ $(HIDE)for FILE in $(VFILES); do \
if ! grep -F -q 'From iris.prelude Require Import options.' "$$FILE"; then echo "ERROR: $$FILE does not import 'options'."; echo; exit 1; fi ; \ if ! grep -F -q 'From iris.prelude Require Import options.' "$$FILE"; then echo "ERROR: $$FILE does not import 'options'."; echo; exit 1; fi ; \
......
...@@ -28,7 +28,7 @@ tags: [ ...@@ -28,7 +28,7 @@ tags: [
depends: [ depends: [
"coq" { (>= "8.18" & < "8.20~") | (= "dev") } "coq" { (>= "8.18" & < "8.20~") | (= "dev") }
"coq-stdpp" { (= "dev.2024-04-12.0.eb2afa52") | (= "dev") } "coq-stdpp" { (= "dev.2024-04-16.0.c317cd31") | (= "dev") }
] ]
build: ["./make-package" "iris" "-j%{jobs}%"] build: ["./make-package" "iris" "-j%{jobs}%"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment