fix: revert deleted make targets

This commit is contained in:
Nemo D'ACREMONT 2025-05-07 09:52:20 +02:00
parent e292bd7797
commit 93a4b1341c
No known key found for this signature in database
GPG Key ID: 85F245EC3BB1E022

View File

@ -64,6 +64,16 @@ ${install_bins_targets}: ${install_dir}/bin/%: ${build_dir}/${tst_dir}/%
@mkdir -p $(dir $@) @mkdir -p $(dir $@)
install $^ $@ install $^ $@
PHONY += graphs
graphs:
cd graphs && bash generate_graphs.sh
PHONY += valgrind
valgrind: ${valgrind_targets}
PHONY += ${valgrind_targets}
${valgrind_targets}: valgrind_%: ${build_dir}/${tst_dir}/%
valgrind $^ ${check_argv} --leak-check=full --show-reachable=yes --track-origins=yes
PHONY += build PHONY += build
build: ${bins_target} ${build_dir}/libthread.so ${build_dir}/libthread.a ${build_dir}/${tst_dir}/51-fibonacci ${build_dir}/${tst_dir}/71-preemption build: ${bins_target} ${build_dir}/libthread.so ${build_dir}/libthread.a ${build_dir}/${tst_dir}/51-fibonacci ${build_dir}/${tst_dir}/71-preemption