Searched hist:b0ab70dd13713bb77a4685114f435ef96a079a6f (Results 1 – 1 of 1) sorted by relevance
| /libCEED/ |
| H A D | Makefile | diff b0ab70dd13713bb77a4685114f435ef96a079a6f Tue Mar 10 20:26:36 UTC 2020 Jed Brown <jed@jedbrown.org> make: revise configure target
make configure now only caches non-default variables, identified by
whether they are simple (set with :=, as in config.mk) or originate
from the command line. Usage is similar to before, but should be less
fragile/simpler to edit, and support setting more things.
This includes saving OPT, superseding PR #422.
Reported-by: Veselin Dobrev <dobrev@llnl.gov>
|