Glenn Johnson 8704a4ed35 Use configure_args rather than options ... Replaced 'options' with 'configure_args'. That seems like a better name and is consistent with the packaging guide.		2016-06-16 23:08:54 -05:00
..
spack	Use configure_args rather than options	2016-06-16 23:08:54 -05:00