<commit_before>CUDDURL = ftp://vlsi.colorado.edu/pub/cudd-2.5.1.tar.gz
CUDDFILE = $(HOME)/src/cudd-2.5.1.tar.gz
CABALFLAGS = --reinstall --force-reinstalls --extra-include-dirs=$(HOME)/src/cudd-2.5.1/cudd --extra-include-dirs=$(HOME)/src/cudd-2.5.1/mtr --extra-include-dirs=$(HOME)/src/cudd-2.5.1/epd --extra-include-dirs=$(HOME)/src/cudd-2.5.1/st --extra-include-dirs=$(HOME)/src/cudd-2.5.1/util --extra-lib-dirs=$(HOME)/src/cudd-2.5.1/cudd --extra-lib-dirs=$(HOME)/src/cudd-2.5.1/mtr --extra-lib-dirs=$(HOME)/src/cudd-2.5.1/epd --extra-lib-dirs=$(HOME)/src/cudd-2.5.1/st --extra-lib-dirs=$(HOME)/src/cudd-2.5.1/util

install:
	make install-hBDD
	make install-hBDD-CUDD

install-hBDD:
	cabal install

install-hBDD-CUDD:
	mkdir -p $(HOME)/src
	wget $(CUDDURL) -c -O $(CUDDFILE)
	tar xvf $(CUDDFILE) -C $(HOME)/src/
	patch $(HOME)/src/cudd-2.5.1/Makefile ./hBDD-CUDD/cudd-Makefile.patch
	cd $(HOME)/src/cudd-2.5.1/ && make
	cabal install $(CABALFLAGS)
	cd ./hBDD-CUDD && cabal install $(CABALFLAGS)
	rm -rf $(HOME)/src/hBDD
	@echo
	@echo !!! Do NOT delete the folder $(HOME)/src/cudd-2.5.1.
	@echo !!! Your hBDD-CUDD is bound to it.
	@echo

clean:
	cabal clean
	cd ./hBDD-CUDD && cabal clean<commit_msg>use CUDD mirror from adamwalker<commit_after>
CUDDGIT = https://github.com/adamwalker/cudd.git

CUDDDIR = $(HOME)/src/cudd

CABALFLAGS = --reinstall --force-reinstalls --extra-include-dirs=$(CUDDDIR)/include --extra-lib-dirs=$(CUDDDIR)/libso

install:
	make install-hBDD
	make install-hBDD-CUDD

install-hBDD:
	cabal install --force-reinstalls

install-hBDD-CUDD:
	mkdir -p $(CUDDDIR)
	if [ ! -d $(CUDDDIR)/.git ] ; \
	then git clone https://github.com/adamwalker/cudd.git $(HOME)/src/cudd ; \
	else cd $(CUDDDIR) && git pull ; \
	fi ;
	cd $(CUDDDIR) && make -f Makefile.64bit libso
	cd ./hBDD-CUDD && cabal install $(CABALFLAGS)
	@echo
	@echo !!! Do NOT delete the folder $(CUDDDIR)
	@echo !!! Your hBDD-CUDD is bound to it.
	@echo

clean:
	cabal clean
	cd ./hBDD-CUDD && cabal clean
{'fraction_non_alphanumeric': 0.2014098690835851, 'fraction_numerical': 0.02366565961732125, 'mean_word_length': 3.4057649667405765, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, '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': '4677276', 'n_tokens_mistral': 896, 'n_tokens_neox': 911, 'n_words': 153}