-
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
nicolas authoredNow, 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