<commit_before>COQWEB=~/COQ/www/
SUITES= core-dev  extra-dev  released  stable-8.4  stable-8.5

pp = cd $(COQWEB); yamlpp-0.3/yamlpp $(abspath $(1)) -o $(abspath $(2))

ifeq "$(shell test ! -z '$(COQWEB)' -a -d $(COQWEB) || echo false)" "false"
$(error "Please use 'make COQWEB=path/to/coq/www'")
endif

# refresh opam indexes + generate website
all: check-deps
	@./scripts/refresh-opam-indexes $(SUITES)
	@./scripts/archive2web templates/archive.html.in $(SUITES)
	@$(call pp,templates/archive.html,www/archive.html)
	@(echo '<#def TITLE>Archive Policy</#def>';\
	  echo '<#include "incl/header.html">';\
	  markdown POLICY.md;\
	  echo '<#include "incl/footer.html">') > templates/policy.html
	@$(call pp,templates/policy.html,www/policy.html)
	@ln -sf $(COQWEB)/styles www/styles
	@ln -sf $(COQWEB)/files www/files

run: all
	@echo "Starting a local web server for test"
	@echo "It is accessible at: http://localhost:8000"
	@cd www && python -m SimpleHTTPServer 8000

check-deps: \
	which-opam which-lua5.1 pkg-lua-filesystem opam-config which-markdown
<commit_msg>Remove stable-8.4 and bad dependency (on Debian)<commit_after>COQWEB=~/COQ/www/
SUITES= core-dev  extra-dev  released  stable-8.5

pp = cd $(COQWEB); yamlpp-0.3/yamlpp $(abspath $(1)) -o $(abspath $(2))

ifeq "$(shell test ! -z '$(COQWEB)' -a -d $(COQWEB) || echo false)" "false"
$(error "Please use 'make COQWEB=path/to/coq/www'")
endif

# refresh opam indexes + generate website
all: check-deps
	@./scripts/refresh-opam-indexes $(SUITES)
	@./scripts/archive2web templates/archive.html.in $(SUITES)
	@$(call pp,templates/archive.html,www/archive.html)
	@(echo '<#def TITLE>Archive Policy</#def>';\
	  echo '<#include "incl/header.html">';\
	  markdown POLICY.md;\
	  echo '<#include "incl/footer.html">') > templates/policy.html
	@$(call pp,templates/policy.html,www/policy.html)
	@ln -sf $(COQWEB)/styles www/styles
	@ln -sf $(COQWEB)/files www/files

run: all
	@echo "Starting a local web server for test"
	@echo "It is accessible at: http://localhost:8000"
	@cd www && python -m SimpleHTTPServer 8000

check-deps: \
	which-opam which-lua5.1 opam-config which-markdown

{'fraction_non_alphanumeric': 0.17850467289719626, 'fraction_numerical': 0.017757009345794394, 'mean_word_length': 4.247549019607843, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 13, 'https://': 0, 'lorem ipsum': 0, 'www.': 14, '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': '3641609', 'n_tokens_mistral': 861, 'n_tokens_neox': 823, 'n_words': 200}