New configure tool; profiles located in settings, dual file: makefile + bash... (!4) · Merge requests · Benchmarks / RISC-V Benchmarks

Merged Xavier Teruel requested to merge meep/meep-benchmarking/risc-v-benchmarks:make_clean_up into master Apr 25, 2022

New configure tool; profiles located in settings, dual file: makefile + bash script; keeping already configuration profiles; Makefile.in points to current configuration; see #2