e0f117f5c6Rework the way to pass parameters to ./mic-configure: parse them once for all, to pick up the already-existing prefix and coi-dir, add mic-host, and assume the user has the cross-compilation tools in PATH, which he already has to do anyway.
12 anos atrás
Nathalie Furmento
5a37c139f4rename MIC environment variables to be prefixed by STARPU_