-
Nicolas Docquier authored
update CMakeLists for user files generation: call function for release flag (should be improved) and adapt to new file names
088356ae
update CMakeLists for user files generation: call function for release flag (should be improved) and adapt to new file names