Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make bedrock2_install now installs examples #281

Merged
merged 1 commit into from
Oct 4, 2022
Merged

make bedrock2_install now installs examples #281

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 7 additions & 1 deletion Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
default_target: all

.PHONY: update_all clone_all coqutil coq-record-update riscv-coq bedrock2_noex bedrock2_ex compiler_noex compiler_ex kami processor end2end all clean_coqutil clean_coq-record-update clean_riscv-coq clean_bedrock2 clean_compiler clean_kami clean_processor clean_end2end clean_manglenames clean install_coqutil install_coq-record-update install_kami install_riscv-coq install_bedrock2 install_compiler install_processor install_end2end install
.PHONY: update_all clone_all coqutil coq-record-update riscv-coq bedrock2_noex bedrock2_ex compiler_noex compiler_ex kami processor end2end all clean_coqutil clean_coq-record-update clean_riscv-coq clean_bedrock2 clean_compiler clean_kami clean_processor clean_end2end clean_manglenames clean install_coqutil install_coq-record-update install_kami install_riscv-coq install_bedrock2 install_bedrock2_ex install_bedrock2_noex install_compiler install_processor install_end2end install

clone_all:
git submodule update --init --recursive
Expand Down Expand Up @@ -110,6 +110,12 @@ clean_bedrock2:
install_bedrock2:
$(MAKE) -C $(ABS_ROOT_DIR)/bedrock2 install

install_bedrock2_noex:
$(MAKE) -C $(ABS_ROOT_DIR)/bedrock2 install_noex

install_bedrock2_ex:
$(MAKE) -C $(ABS_ROOT_DIR)/bedrock2 install_ex

compiler_noex:
$(MAKE) -C $(ABS_ROOT_DIR)/compiler noex

Expand Down
9 changes: 7 additions & 2 deletions bedrock2/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
default_target: all

.PHONY: clean force all noex ex install test
.PHONY: clean force all noex ex install_noex install_ex install test

# absolute paths so that emacs compile mode knows where to find error
# use cygpath -m because Coq on Windows cannot handle cygwin paths
Expand Down Expand Up @@ -94,5 +94,10 @@ clean:: Makefile.coq.noex Makefile.coq.ex
find . -type f \( -name '*~' -o -name '*.aux' -o -name '.lia.cache' -o -name '.nia.cache' \) -delete
rm -f Makefile.coq.noex Makefile.coq.noex.conf Makefile.coq.ex Makefile.coq.ex.conf _CoqProject special/BytedumpTest.out

install::
install_noex::
$(MAKE) -f Makefile.coq.noex install

install_ex::
$(MAKE) -f Makefile.coq.ex install

install:: install_noex install_ex