Skip to content
Snippets Groups Projects
user avatar
nicolas authored
   Now, one should first execute the configure
   script and then run make

 * There is the possibility to pass as arguments
   of the configure script detector names, e.g:
   ./configure must2 cats
   
 * Moreover, there is the possibility to compile
   specific detectors, e.g: make must2
2faa99e9
History
Name Last commit Last update