An error occurred while fetching folder content.
Name | Last commit | Last update |
---|
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
Name | Last commit | Last update |
---|