diff --git a/Makefile b/Makefile index 104b563..cd5530b 100644 --- a/Makefile +++ b/Makefile @@ -3,23 +3,23 @@ src_dir?=src tst_dir?=tst install_dir?=install -bins?= \ - 01-main \ - 02-switch \ - 03-equity \ - 11-join \ - 12-join-main \ - 21-create-many \ - 22-create-many-recursive \ - 23-create-many-once \ - 31-switch-many \ - 32-switch-many-join \ - 33-switch-many-cascade \ - 51-fibonacci \ - 61-mutex \ - 62-mutex \ - 71-preemption \ - 81-deadlock +# Comment out the bins that doesn't need to be compiled +bins+=01-main +bins+=02-switch +bins+=03-equity +bins+=11-join +bins+=12-join-main +bins+=21-create-many +bins+=22-create-many-recursive +bins+=23-create-many-once +bins+=31-switch-many +bins+=32-switch-many-join +bins+=33-switch-many-cascade +bins+=51-fibonacci +bins+=61-mutex +bins+=62-mutex +bins+=71-preemption +bins+=81-deadlock bins_target=$(addprefix ${build_dir}/,${bins}) install_bins_targets=$(addprefix ${install_dir}/bin/,${bins}) @@ -38,7 +38,6 @@ all: build .PHONY: install install: build ${install_bins_targets} -.PHONY: ${install_bins_targets} ${install_bins_targets}: ${install_dir}/bin/%: ${build_dir}/% @mkdir -p $(dir $@) install $^ $@