<commit_before># Based on the Makefile from the CoLoR library by <NAME> and
# as such governed by the CeCILL license, found at http://www.cecill.info/
#
# <NAME>, 2009-11-20

MAKEFLAGS := -r -j

.SUFFIXES:

.PHONY: clean clean-all clean-doc default config create_Makefile.coq create_Makefile.all doc tags all

COQC := $(COQBIN)coqc

MAKECOQ := $(MAKE) -f Makefile.coq
MAKEALL := $(MAKE) -f Makefile.all

VFILES := $(shell find . -name \*.v)

PROJECT := ITR

default: Makefile.coq
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs"

all: Makefile.all
	time -f %e $(MAKEALL) OTHERFLAGS="-dont-load-proofs"

config: create_Makefile.coq create_Makefile.all

create_Makefile.coq Makefile.coq:
#	coq_makefile -R . $(PROJECT) $(VFILES) > Makefile.coq
	coq_makefile $(VFILES) > Makefile.coq
	$(MAKECOQ) depend

create_Makefile.all Makefile.all:
#	coq_makefile -R . $(PROJECT) $(VFILES) $(PC_VFILE) > Makefile.all
	coq_makefile $(VFILES) $(PC_VFILE) > Makefile.all
	$(MAKEALL) depend

clean:
#	rm -f `find . -name \*~`
	$(MAKEALL) clean

clean-all: clean
	rm -f Makefile.coq Makefile.all

clean-doc:
#	rm -f doc/$(PROJECT).*.html doc/index.html
	rm -f doc/*.html

tags:
	coqtags `find . -name \*.v`

doc:
#	coqdoc --html -g -d doc -R . $(PROJECT) $(VFILES)
	coqdoc --html -g -d doc $(VFILES)
#	./createIndex

%.vo: %.v
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs" $@

%:
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs" $@
<commit_msg>Makefile gebeuren lijkt nu ok.<commit_after># Based on the Makefile from the CoLoR library by <NAME> and
# as such governed by the CeCILL license, found at http://www.cecill.info/
#
# <NAME>, 2009-11-20

MAKEFLAGS := -r -j

.SUFFIXES:

.PHONY: clean clean-all clean-doc default config create_Makefile.coq doc tags all

COQC := $(COQBIN)coqc

MAKECOQ := $(MAKE) -f Makefile.coq

VFILES := $(shell find . -name \*.v)

PROJECT := ITR

default: Makefile.coq
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs"

all: Makefile.coq
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs"

config: create_Makefile.coq

create_Makefile.coq Makefile.coq:
#	coq_makefile -R . $(PROJECT) $(VFILES) -no-install > Makefile.coq
	coq_makefile -I . $(VFILES) -no-install > Makefile.coq
	$(MAKECOQ) depend

clean:
#	rm -f `find . -name \*~`
	$(MAKECOQ) clean

clean-all: clean
	rm -f Makefile.coq

clean-doc:
#	rm -f doc/$(PROJECT).*.html doc/index.html
	rm -f doc/*.html

tags:
	coqtags `find . -name \*.v`

doc:
#	coqdoc --html -g -d doc -R . $(PROJECT) $(VFILES)
	coqdoc --html -g -d doc $(VFILES)
#	./createIndex

%.vo: %.v
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs" $@

%:
	$(MAKECOQ) OTHERFLAGS="-dont-load-proofs" $@

{'fraction_non_alphanumeric': 0.1700077101002313, 'fraction_numerical': 0.006168080185042405, 'mean_word_length': 3.650537634408602, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 13, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, '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': '688884', 'n_tokens_mistral': 1137, 'n_tokens_neox': 1105, 'n_words': 271}