Historie revizí

Autor SHA1 Zpráva Datum
  Samuel Thibault 7bea8a5606 TODO před 12 roky
  Samuel Thibault e0f117f5c6 Rework 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. před 12 roky
  Nathalie Furmento 5a37c139f4 rename MIC environment variables to be prefixed by STARPU_ před 12 roky
  Samuel Thibault b0ee9065aa rename super-configure into mic-configure před 12 roky