<commit_before>include   ../../../scripts/Makefile.common

MTL       = ../cryptominisat/mtl
MTRAND    = ../cryptominisat/MTRand
SOURCES   = Clause.cpp  Conglomerate.cpp  FindUndef.cpp  Gaussian.cpp  Logger.cpp  MatrixFinder.cpp  PackedRow.cpp  Solver.cpp  VarReplacer.cpp  XorFinder.cpp
OBJECTS   = $(SOURCES:.cpp=.o)
LIB       = libminisat.a
CFLAGS    += -I$(MTL) -I$(MTRAND) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32) -c
EXEC      = minisat
LFLAGS    = -lz

all: $(LIB) #$(EXEC)
lib: $(LIB)

$(LIB): $(OBJECTS)
	rm -f $@
	ar cq $@ $(OBJECTS)
	cp $(LIB) ../

clean:
	rm -f $(OBJECTS) $(LIB) ../$(LIB)

.cpp.o:
	$(CC) $(CFLAGS) $< -o $@<commit_msg>CryptoMiniSat2's Makefile had the same mistake as the other CryptoMiniSat's original Makefile. Corrected<commit_after>include   ../../../scripts/Makefile.common

MTL       = ../cryptominisat/mtl
MTRAND    = ../cryptominisat/MTRand
SOURCES   = Clause.cpp  Conglomerate.cpp  FindUndef.cpp  Gaussian.cpp  Logger.cpp  MatrixFinder.cpp  PackedRow.cpp  Solver.cpp  VarReplacer.cpp  XorFinder.cpp
OBJECTS   = $(SOURCES:.cpp=.o)
LIB       = libminisat.a
CFLAGS    += -I$(MTL) -I$(MTRAND) -DEXT_HASH_MAP -ffloat-store $(CFLAGS_M32) -c
EXEC      = minisat
LFLAGS    = -lz

all: $(LIB) #$(EXEC)
lib: $(LIB)

$(LIB): $(OBJECTS)
	rm -f $@
	ar cq $@ $(OBJECTS)
	cp $(LIB) ../
	cp $(OBJECTS) ../

clean:
	rm -f $(OBJECTS) $(LIB)

.cpp.o:
	$(CC) $(CFLAGS) $< -o $@
{'fraction_non_alphanumeric': 0.1826647564469914, 'fraction_numerical': 0.0035816618911174787, 'mean_word_length': 2.935211267605634, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2863652', 'n_tokens_mistral': 617, 'n_tokens_neox': 579, 'n_words': 125}