Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
examples
Commits
c34a636b
Commit
c34a636b
authored
Jun 20, 2018
by
Ralf Jung
Browse files
add hocap target
parent
18c334bc
Pipeline
#9968
failed with stage
in 15 minutes and 51 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile.coq.local
View file @
c34a636b
...
...
@@ -16,3 +16,6 @@ concurrent_stacks: $(filter theories/concurrent_stacks/%,$(VOFILES))
logrel
:
$(filter theories/logrel/%
,
$(VOFILES))
.PHONY
:
logrel
hocap
:
$(filter theories/hocap/%
,
$(VOFILES))
.PHONY
:
hocap
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment