From 8934f72a97e4c8d6a0e01eaeada6c5ff5052f9ad Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Fri, 12 Apr 2024 05:35:27 +0200 Subject: [PATCH] Update README.markdown --- README.markdown | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.markdown b/README.markdown index 5583aad4d..e66354486 100644 --- a/README.markdown +++ b/README.markdown @@ -440,10 +440,9 @@ CMake Arguments ----- The following arguments to cmake configure the generated build artifacts. To use, specify options prior to running make in a clean subdirectory: `cmake ..` -- `-DSTATICCOMPILE=` -- statically linked library and binary. You must build&link `BreakID` with the same `DSTATICCOMPILE=` setting as well. You can get the BreakID library from [our GitHub repository](https://github.com/meelgroup/breakid) +- `-DSTATICCOMPILE=` -- statically linked library and binary. - `-DSTATS=` -- advanced statistics (slower). Needs [louvain communities](https://github.com/meelgroup/louvain-community) installed. - `-DENABLE_TESTING=` -- test suite support -- `-DMIT=` -- MIT licensed components only - `-DNOMPI=` -- without MPI support - `-DNOZLIB=` -- no gzip DIMACS input support - `-DLARGEMEM=` -- more memory available for clauses (but slower on most problems)