Commit 1c4eac1d authored by Zhen Zhang's avatar Zhen Zhang

Add more build instructions

parent c25b7b94
......@@ -12,29 +12,20 @@ clean: Makefile.coq
Makefile.coq: _CoqProject Makefile
coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
# Initialize local Iris dependency
iris-local-init: clean
git submodule update --init iris
ln -nsf iris iris-enabled
# Build local Iris dependency
# Use local Iris dependency
iris-local:
+make -C iris -f Makefile
git submodule update --init iris # If not initialized, then initialize; If not updated with this remote, then update
ln -nsf iris iris-enabled # If not linked, then link
+make -C iris -f Makefile # If not built, then build
# Initialize global Iris dependency
iris-system-init: clean
# Use system-installed Iris dependency
iris-system: clean
rm -f iris-enabled
# Update local Iris dependency
iris-local-update:
git submodule update --remote --merge
_CoqProject: ;
Makefile: ;
phony: ;
.PHONY: all clean phony iris-local iris-local-init iris-system-init
.PHONY: all clean phony iris-local iris-system
......@@ -24,3 +24,7 @@ version), run `make iris-local`. Run this command again later to update the
local Iris, in case the preferred Iris version changed.
Now run `make` to build the full development.
## Update local dependency by tracking Iris `master`
git submodule update --remote
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